Making a fast curry: Push/enter vs. Eval/apply for higher-order languages

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2004, Pages 4-15

  Marlow, Simon ^a   Jones, Simon Peyton ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Languages; Performance

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; FUNCTIONS; MATHEMATICAL MODELS; PROGRAM COMPILERS;

HIGHER-ORDER LANGUAGES; IMPLEMENTORS; PUSH/ENTER MODEL; RUN-TIME ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 13344280316     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. U. Boquist. Code Optimisation Techniques for Lazy Functional Languages. PhD thesis, Chalmers University of Technology, Sweden, April 1999.
2. R. Douence and P. Fradet. A systematic study of functional language implementations. ACM Transactions on Programming Languages and Systems, 20(2):344-387, March 1998.
3. J. Fairbairn and S. Wray. TIM - a simple lazy abstract machine to execute supercombinators. In G. Kahn, editor, Proc IFIP conference on Functional Programming Languages and Computer Architecture, Portland, pages 34-45. Springer Verlag LNCS 274, Sept. 1987.
4. K.-F. Faxén. Analysing, Transforming and Compiling Lazy Functional Programs. PhD thesis, Department of Teleinformatics, Royal Institute of Technology, June 1997.
5. C. Flanagan, A. Sabry, B. Duba, and M. Felleisen. The essence of compiling with continuations. In ACM Conference on Programming Languages Design and Implementation (PLDI'93), pages 237-247. ACM, June 1993.
6. T. Johnsson. Efficient compilation of lazy evaluation. In Proc SIGPLAN Symposium on Compiler Construction, Montreal. ACM, June 1984.
7. R. Jones. Tail recursion without space leaks. Journal of Functional Programming, 2(1):73-80, Jan 1992.
8. J. Launchbury. A natural semantics for lazy evaluation. In 20th ACM Symposium on Principles of Programming Languages (POPL'93), pages 144-154. ACM, Jan. 1993.
9. X. Leroy. The Zinc experiment: an economical implementation of the ML language. Tr 117, inria-rocquencourt, INRIA, Feb. 1990.
10. J.-W. Maessen. Hybrid Eager and Lazy Evaluation for Efficient Compilation of Haskell. PhD thesis, Massachusetts Institute of Technology, June 2002.
11. S. Peyton Jones. Implementing lazy functional languages on stock hardware: The spineless tagless G-machine. Journal of Functional Programming, 2(2):127-202, Apr. 1992.
12. S. Peyton Jones and J. Launchbury. Unboxed values as first class citizens. In R. Hughes, editor, ACM Conference on Functional Programming and Computer Architecture (FPCA'91), volume 523 of Lecture Notes in Computer Science, pages 636-666, Boston, 1991. Springer Verlag.
13. S. Peyton Jones, N. Ramsey, and F. Reig. C-: a portable assembly language that supports garbage collection. In G. Nadathur, editor, International Conference on Principles and Practice of Declarative Programming, number 1702 in Lecture Notes in Computer Science, pages 1-28, Berlin, Sept. 1999. Springer.