Linking pages
- Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl) | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3547621 5 comments
- Dependently-Typed Programming with Logical Equality Reflection | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/abs/10.1145/3607852 5 comments
- A specification for dependent types in Haskell | Proceedings of the ACM on Programming Languages http://dl.acm.org/citation.cfm?id=3110275 4 comments
- Compiling without continuations | Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation https://dl.acm.org/doi/10.1145/3062341.3062380 3 comments