Linking pages
Linked pages
- Associated Effects: Flexible Abstractions for Effectful Programming | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3656393 1 comment
- The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3674634 1 comment