Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference35 articles.
1. Abramsky, S.: The lazy λ-Calculus. In Research Topics in Functional Programming. Addison Wesley, pp. 65–117 (1990)
2. Barendregt, H.: The Lambda-Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1980)
3. Benton, N., Hughes, J., Moggi, E.: Monads and effects. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.), Advanced Lectures From International Summer School on Applied Semantics (APPSEM), Caminha, Portugal, vol. 2395 of Lecture Notes in Computer Science, pp. 42–122 (2000)
4. Benton, N., Kennedy, A.: Monads, effects and transformations. In: Gordon, A., Pitts, A. (eds.), Proceedings, Higher-Order Operational Techniques in Semantics (HOOTS ’99), vol. 26 of ENTCS, Paris, France, pp. 3–20 (1999)
5. Benton, N., Wadler, P.: Linear logic, monads and the lambda calculus. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, IEEE Computer Society Press, pp. 420–431 (1996)
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications;Logical Methods in Computer Science;2024-07-29
2. Galois connecting call-by-value and call-by-name;Logical Methods in Computer Science;2024-02-12
3. A Calculus of Delayed Reductions;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
4. 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
5. The bang calculus revisited;Information and Computation;2023-08