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
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (1 citation) Self-citation (Maraist Odersky Wadler) (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. A callby -need lambda calculus. In Principles of Programming Languages (POPL), ACM Press, San Francisco, California, January 1995.
Technical Report - Number Computer Laboratory (Correct)
No context found.
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.
Unknown - Expansion Variables For (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, P. Wadler. The call-by-need lambda calculus. In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs., 1995.
An Operational Semantics for Parallel Lazy Evaluation - Clem Baker-Finch University (Correct)
No context found.
Z. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. A call-by-need lambda calculus. In The 22nd Symposium on Principles of Programming Languages (POPL'95), pages 233-246, San Francisco, California, 1995.
A Functional Correspondence between Call-by-Need Evaluators and.. - Ager, al. (2004) (2 citations) (Correct)
No context found.
Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, and Philip Wadler. The call-by-need lambda calculus. In Peter Lee, editor, Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Programming Languages, pages 233--246, San Francisco, California, January 1995. ACM Press.
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
No context found.
Z. M. Ariola and M. Felleisen. The call-by-need lambda calculus. J. Funct. Prog., 3(7), May 1997.
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
No context found.
Z. M. Ariola and M.Felleisen. The call-by-need lambda calculus. Journ. of Functional Programming, 7(3):265--301, 1997.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, P. Wadler. The call-by-need lambda calculus. In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs., 1995.
A Calculus with Lazy Module Operators - Ancona, Fagorzi, Zucca (2 citations) (Correct)
No context found.
Z. M. Ariola and M.Felleisen. The call-by-need lambda calculus. Journ. of Functional Programming, 7(3):265--301, 1997.
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
No context found.
Z. M. Ariola and M. Felleisen. The call-by-need lambda calculus. Journ. of Functional Programming, 7(3):265--301, 1997.
Program Specialization Based on Dynamic Slicing - Ochoa, Silva, Vidal (2004) (Correct)
No context found.
Z.M. Ariola, J. Maraist, M. Odersky, M. Felleisen, and P. Wadler. A Call-By-Need Lambda Calculus. In Proc. of the 22nd ACM Symp. on Principles of Programming Languages (POPL'95), pages 233--246. ACM Press, 1995.
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (1 citation) (Correct)
No context found.
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. 20 Maraist et. al.
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
No context found.
Zena Ariola, Matthias Felleisen, John Maraist, Martin Odersky, and Philip Wadler. A call-by-need lambda calculus. In 22'nd ACM Symposium on Principles of Programming Languages, San Francisco, California, 1995.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
No context found.
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.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, P. Wadler. The call-by-need lambda calculus. In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs., 1995.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
No context found.
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.
An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (5 citations) (Correct)
No context found.
Ariola, Z. M., Maraist, J., Odersky, M., Felleisen, M., and Wadler, P. A call-byneed lambda calculus. In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: San Francisco, California, January 22--25, 1995.
An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (5 citations) (Correct)
No context found.
Ariola, Z. M., and Felleisen, M. The call-by-need lambda calculus. Journal of Functional Programming 7, 3 (May 1997), 265--301.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, P. Wadler. The call-by-need lambda calculus. In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs., 1995.
Demonstrating Lambda Calculus Reduction - Peter Sestoft Department (2002) (1 citation) (Correct)
No context found.
Ariola, Z.M., Felleisen, M.: The Call-by-Need Lambda Calculus. Journal of Functional Programming 7, 3 (1997) 265--301.
Unknown - Expansion Variables For (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, P. Wadler. The call-by-need lambda calculus. In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs., 1995.
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
No context found.
Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. The call-by-need lambda calculus. In Conf. Rec. 22nd Ann. ACM Symp. Princ. of Prog. Langs., pp. 233--246, 1995.
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
No context found.
Z. M. Ariola and M. Felleisen. The call-by-need lambda calculus. J. Funct. Prog., 3(7), May 1997.
Generalized Fi-Reduction and Explicit Substitutions - Fairouz Kamareddine And (Correct)
No context found.
Z. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. A call by need lambda calculus. Conf. Rec. 22nd Ann. ACM Symp. Princ. Program. Lang. ACM, 1995.
Diagrams for Meaning Preservation - Wells Detlef Plump (Correct)
No context found.
Z. M. Ariola, M. Felleisen. The call-by-need lambda calculus. J. Funct. Programming, 3(7), 1997.
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