Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, and Philip Wadler. A call-by-need lambda calculus. In Proc. 22nd POPL, pages 233--246, 1995. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Technical Report - Number Computer Laboratory (Correct)
Unknown - Expansion Variables For (Correct)
An Operational Semantics for Parallel Lazy Evaluation - Clem Baker-Finch University (Correct)
A Functional Correspondence between Call-by-Need Evaluators and.. - Ager, al. (2004) (2 citations) (Correct)
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
A Calculus with Lazy Module Operators - Ancona, Fagorzi, Zucca (2 citations) (Correct)
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
Program Specialization Based on Dynamic Slicing - Ochoa, Silva, Vidal (2004) (Correct)
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (1 citation) (Correct)
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (5 citations) (Correct)
An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (5 citations) (Correct)
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (Correct)
Demonstrating Lambda Calculus Reduction - Peter Sestoft Department (2002) (1 citation) (Correct)
Unknown - Expansion Variables For (Correct)
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
Generalized Fi-Reduction and Explicit Substitutions - Fairouz Kamareddine And (Correct)
Diagrams for Meaning Preservation - Wells Detlef Plump (Correct)
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (1 citation) Self-citation (Maraist Odersky Wadler) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC