Compiling lazy functional programs to Java bytecode

Software - Practice and Experience

Volumn 29, Issue 7, 1999, Pages 617-645

  Meehan, Gary ^a   Mike, Joy ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); PROGRAM COMPILERS; PROGRAM TRANSLATORS; VIRTUAL REALITY;

JAVA VIRTUAL MACHINES (JVM); LAZY FUNCTIONAL PROGRAMS;

JAVA PROGRAMMING LANGUAGE;

EID: 0344240970     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199906)29:7<617::AID-SPE250>3.0.CO;2-E     Document Type: Article

References (20)

1. J. Meyer and T. Downing, Java Virtual Machine, O'Reilly, 1997.
2. M. Joy, 'Ginger - a simple functional language', Technical Report CS-RR-235, Department of Computer Science, University of Warwick, Coventry, UK, 1992.
3. T. Johnsson, 'Efficient compilation of lazy evaluation', Proceedings of the 11th ACM Symposium of Principles of Programming Languages, 1984, pp. 58-69.
4. S. L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice Hall, 1987.
5. M. Jones, 'Hugs documentation', (http://www.cs.nott.ac.uk/Department/Staff/mpj/hugs14/docs/index.html).
6. The Aqua Team, 'Glasgow Haskell Compiler User's Guide, Version 0.26', Department of Computer Science, Glasgow University, March 1996.
7. D. Wakeling, 'Mobile Haskell: Compiling lazy functional language for the Java Virtual Machine', Unpublished paper.
8. D. Wakeling, 'VSD: A Haskell to Java Virtual Machine code compiler', Proceedings of the 9th International Workshop on the Implementation of Functional Languages, 1997.
9. K. Arnold and J. Gosling, The Java Programming Language, 2nd ed., Addison-Wesley, 1998.
10. Sun Microsystems, Inc., 'Javap - The Java Class File Disassembler', (http://java.sun.com/products/jdk/1.1/docs/tooldocs/solaris/javap.html).
11. S. L. Peyton Jones and D. Lester, Implementing Functional Language - A Tutorial, Prentice Hall, 1992.
12. R. Bird, Introduction to Functional Programming using Haskell, 2nd ed., Prentice Hall, 1998.
13. T. Johnsson, 'Lambda-lifting - transforming programs to recursive equations', Conference on Functional Programming and Computer Architecture, Nancy, 1985. (LNCS 201, Springer-Verlag, 190-203.)
14. D. Turner, 'A new implementation technique for applicative languages', Software - Practice and Experience, 31-49 (1979).
15. Persimmon IT, 'The Persimmon MLJ Compiler', (http://research.persimmon.co.uk/mlj/).
16. Transvirtual Technologies, 'What is Kaffe Open VM?', (http://www.transvirtual.com/kaffe.html).
17. J. Fairbairn and S. Wray, 'TIM: A simple, lazy abstract machine to execute supercombinators', Functional Programming Languages and Computer Architecture: Lecture Notes in Computer Science 274, Springer-Verlag, 1987, pp. 34-45.
18. S. L. Peyton Jones, 'Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine', Journal of Functional Programming, 127-202 (July 1992).
19. J. Launchbury, 'A natural semantics for lazy evaluation', Principles of Programming Languages, Charleston, 1993.
20. P. Sestoff, 'Deriving a lazy abstract machine', Journal of Functional Programming, 231-264 (1997).