Cited By
View all- Alves SKesner DRamos M(2024)Extending the Quantitative Pattern-Matching ParadigmProgramming Languages and Systems10.1007/978-981-97-8943-6_5(84-105)Online publication date: 23-Oct-2024
- Biernacka MCharatonik WDrab T(2022)A simple and efficient implementation of strong call by need by an abstract machineProceedings of the ACM on Programming Languages10.1145/35498226:ICFP(109-136)Online publication date: 31-Aug-2022
- Accattoli BGuerrieri GLeberle M(2019)Types by NeedProgramming Languages and Systems10.1007/978-3-030-17184-1_15(410-439)Online publication date: 6-Apr-2019