Hacker News
Linking pages
- On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3674630 1 comment
- Compiling with continuations, or without? whatever. | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3341643 0 comments
Linked pages
- Code of Ethics https://www.acm.org/code-of-ethics 60 comments
- Association for Computing Machinery https://www.acm.org/ 54 comments
- System F with type equality coercions | Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation https://dl.acm.org/doi/10.1145/1190315.1190324 3 comments