Author:
MARAIST JOHN,ODERSKY MARTIN,WADLER PHILIP
Publisher
Cambridge University Press (CUP)
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Node Replication: Theory And Practice;Logical Methods in Computer Science;2024-01-23
2. Closure Conversion in Little Pieces;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Sharing a Perspective on the -Calculus;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
4. A strong call-by-need calculus;Logical Methods in Computer Science;2023-03-24
5. Strong Call-by-Value is Reasonable, Implosively;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29