Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus-Reference-Cited by-同舟云学术

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

Published:1995 Issue: Volume:1 Page:370-392
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Maraist John,Odersky Martin,Turner David N.,Wadler Philip

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference37 articles.

1. Computational interpretations of linear logic;Abramsky;Theoretical Computer Science,1993

2. A call-by-need lambda calculus;Ariola,1995

3. Z. M. Ariola and M. Felleisen, The call-by-need lambda calculus. Technical report CIS-TR-94-23, Department of Computer Science, University of Oregon, October 1994.

4. Z. M. Ariola and J. W. Klop, Cyclic lambda graph rewriting. In Logic in Computer Science (LICS), Paris, France, 1994

5. The Lambda Calculus: Its Syntax and Semantics. Volume 103 of Studies in Logic and the Foundations of Computer Science;Barendregt,1981

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Galois connecting call-by-value and call-by-name;Logical Methods in Computer Science;2024-02-12

2. Tracking Redexes in the Lambda Calculus;The French School of Programming;2023-10-11

3. CPS transformation with affine types for call-by-value implicit polymorphism;Proceedings of the ACM on Programming Languages;2021-08-22

4. Reasoning about the garden of forking paths;Proceedings of the ACM on Programming Languages;2021-08-22

5. Client-server sessions in linear logic;Proceedings of the ACM on Programming Languages;2021-08-22