Cited By
View all- Accattoli B(2016)The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$-CalculusProceedings of the 23rd International Workshop on Logic, Language, Information, and Computation - Volume 980310.1007/978-3-662-52921-8_1(1-21)Online publication date: 16-Aug-2016
- Accattoli BDal Lago UHenzinger TMiller D(2014)Beta reduction is invariant, indeedProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603105(1-10)Online publication date: 14-Jul-2014
- Balabonski TField JHicks M(2012)A unified approach to fully lazy sharingProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2103656.2103713(469-480)Online publication date: 25-Jan-2012
- Show More Cited By