Cited By
View all- Chen YParreaux L(2024)The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data StructuresProceedings of the ACM on Programming Languages10.1145/36746348:ICFP(249-283)Online publication date: 15-Aug-2024
- Zhang XXie RGuo GHe XZan THu Z(2024)Fusing Direct Manipulations into Functional ProgramsProceedings of the ACM on Programming Languages10.1145/36328838:POPL(1211-1238)Online publication date: 5-Jan-2024
- Danvy O(2023)The Tortoise and the Hare Algorithm for Finite Lists, CompositionallyACM Transactions on Programming Languages and Systems10.1145/356461945:1(1-35)Online publication date: 3-Mar-2023
- Show More Cited By