Compiling standard ML to Java bytecodes

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 1, 1999, Pages 129-140

  Benton, Nick ^a   Kennedy, Andrew ^a   Russell, George ^a  

^a Persimmon IT Inc   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244380350     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289435     Document Type: Article

References (26)

1. A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
2. A. W. Appel and T. Jim. Shrinking lambda expressions in linear time. Journal of Functional Programming, 7(5), September 1997.
3. K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, second edition, 1998.
4. P. N. Benton. Strictness Analysis of Lazy Functional Programs. PhD thesis, University of Cambridge Computer Laboratory, August 1993. Technical Report 309.
5. P. N. Benton, G. M. Bierman, and V. C. V. de Paiva. Computational types from a logical perspective. Journal of Functional Programming, 1998. To appear.
6. P. Bertelsen. Compiling SML to Java bytecode. Master's thesis, Dept. of Information Technology, Technical Univ. of Denmark, January 1998.
7. M. Blume. CM: A compilation manager for SML/NJ. Technical report, 1995. Part of SML/NJ documentation.
8. P. Bothner. Kawa - compiling dynamic languages to the Java VM. In USENIX Conference, June 1998. Compiler and paper available from http://uww.cygnus.com/∼bothner/kawa.html.
9. F. Henglein and J. Jorgensen. Formally optimal boxing. In ACM Symposium on Principles of Programming Languages, pages 213-226, 1994.
10. S. L. Peyton Jones. Implementing lazy functional languages on stock hardware: the spineless tagless G-machine. Journal of Functional Programming, pages 127-202, April 1992.
11. S. L. Peyton Jones, J. Launchbury, M. Shields, and A. Tolmach. Bridging the gulf: a common intermediate language for ML and Haskell. In A CM Symposium on Principles of Programming Languages, January 1998.
12. J. Jørgensen. A calculus for boxing analysis of polymorphically typed languages. Technical Report 96/28, DIKU, University of Copenhagen, May 1996.
13. X. Leroy. Unboxed objects and polymorphic typing. In 19th Annual ACM Symposium on Principles of Programming Languages, pages 177-188, 1992.
14. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Mass., 1997.
15. E. Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
16. C. Mossin. Flow analysis of typed higher-order programs. Technical Report 97/1, DIKU, University of Copenhagen, 1997.
17. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In ACM Symposium on Principles of Programming Languages, January 1997.
18. L. C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, 1996.
19. Z. Shao. An overview of the FLINT/ML compiler. In ACM SIGPLAN International Conference on Functional Programming, pages 85-98, June 1997.
20. Z. Shao. Typed cross-module compilation. Technical Report YALEU/DCS/TR-1126, Department of Computer Science, Yale University, July 1997.
21. O. Shivers. Control-flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University, May 1991. CMU-CS-91-145.
22. D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-192, Philadelphia, PA, May 1996.
23. A. Tolmach. Optimizing ML using a hierarchy of monadic types. In Workshop on Types in Compilation, March 1998.
24. P. Wadler. The marriage of effects and monads. In 3rd ACM SIGPLAN Conference on Functional Programming, September 1998. (this volume).
25. D. Wakeling. VSD: A Haskell to Java virtual machine code compiler. In 9th International Workshop on Implementation of Functional Languages, September 1997.
26. S. Weeks. A whole-program optimizing compiler for Standard ML. Technical report, NEC Research Institute, November 1997. Available from: http://uww.neci.nj.nee.com/homepages/sweeks/smlc/.