Cited By
View all- Bahr PHutton G(2023)Calculating Compilers for ConcurrencyProceedings of the ACM on Programming Languages10.1145/36078557:ICFP(740-767)Online publication date: 31-Aug-2023
- Amin NBurnham JGarillot FGennaro RKünzang CRogozin DWong C(2023)LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)Proceedings of the ACM on Programming Languages10.1145/36078397:ICFP(259-274)Online publication date: 31-Aug-2023
- BAHR PHUTTON G(2015)Calculating correct compilersJournal of Functional Programming10.1017/S095679681500018025Online publication date: 16-Sep-2015
- Show More Cited By