TIL: A type≠directed, optimizing compiler for ML

ACM SIGPLAN Notices

Volumn 39, Issue 4, 2004, Pages 554-555

  Tarditi, David ^a   Morrisett, Greg ^b   Cheng, Perry ^c   Stone, Chris ^d   Harper, Robert ^e   Lee, Peter ^e  

^a MICROSOFT RESEARCH   (United States)

^b Cornell University ^*  (United States)

^c IBM RESEARCH   (United States)

^d HARVEY MUDD COLLEGE   (United States)

^e CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTENSIONAL POLYMORPHISM; PROOF-CARRYING CODES; STANDARD ML;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; INFERENCE ENGINES; OPTIMIZATION; SOFTWARE ENGINEERING;

PROGRAM COMPILERS;

EID: 3142713143     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/989393.989449     Document Type: Conference Paper

References (24)

1. A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In M. Wirsing, editor, Third International Symposium on Programming Language, Implementation and Logic Programming, pages 1-13, New York, Aug. 1991. Springer-Verlag. Volume 528 of Lecture Notes in Computer Science.
2. A. Dimock, R. Muller, F. Turbak, and J. B. Wells. Strongly typed flow-directed reprsentation transformations. In ACM SIGPLAN International Conference on Functional Programming, pages 11-24, Amsterdam, June 1997.
3. http://www.cs.cmu.edu/fox.
4. R. Harper and M. Lillibridge. Explicit polymorphism and GPS conversion. In Twentieth ACM Symposium on Principles of Programming Languages, pages 206-219, Charleston, SC, January 1993. ACM, ACM.
5. R. Harper and M. Lillibridge. Polymorphic type assignment and CPS conversion. LISP and Symbolic Computation, 6(4):361-380, November 1993.
6. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Twenty-Second ACM Symposium on Principles of Programming Languages, pages 130-141, San Francisco, Jan. 1995.
7. A. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language runtime. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12, Snowbird, Utah, June 2001.
8. X. Leroy. Unboxed objects and polymorphic typing. In Nineteenth ACM Symposium on Principles of Programming Languages, pages 177-188, Albuquerque, Jan. 1992.
9. X. Leroy. The effectiveness of type-based unboxing. In Workshop on Types in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published as Boston College Computer Science Dept. Technical Report BCCS-97-03.
10. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
11. Y. Minamide, G. Morrisett, and R. Harper. Typed closure conversion. In Twenty-Third ACM Symposium on Principles of Programming Languages, pages 271-283, St. Petersburg, FL. January 1996.
12. http://www.mlton.org.
13. G. Morrisett. Compiling with Types. PhD thesis, Carnegie Mellon University, 1995.
14. G. Morrisett, M. Felleisen, and R. Harper. Abstract models of memory management. In Functional Programming and Computer Architecture, pages 66-77, La Jolla, CA, June 1995. ACM.
15. G. Morrisett and R. Harper. Semantics of memory management for polymorphic languages. In A. Gordon and A. Pitts, editors, Higher Order Operational Techniques in Semantics, Publications of the Newton Institute-Cambridge University Press, 1997.
16. G. Morrisett and R. Harper. Typed closure conversion for recursively-defined functions (extended abstract). In A. Gordon, A. Pitts, and C. Talcott, editors, Second Workshop on Higher-Order Techniques in Operational Semantics (HOOTS-II), volume 10 of Electronic Notes in Theoretical Computer Science, Stanford University, Stanford, California, December 1998. Elsevier. URL: http://www.elsevier.nl/locate/entcs/volume10.html.
17. G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Transactions on Progamming Languages and Systems, 21 (3):528-568, May 1999.
18. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for Java. In Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 132-145, Paris, France, 1997.
19. G. Necula. Proof-carrying code. In Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 106-119, Paris, France, 1997.
20. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 146-159, Paris, France, 1997.
21. L. Peterson, P. Cheng, R. Harper, and C. Stone. Implementing the tilt internal language. Technical Report CMU-CS-00-180, Carnegie Mellon School of Computer Science, Dec. 2001.
22. Z. Shao. An overview of the FLINT/ML compiler. In Workshop on Types in Compilation, Amsterdam, June 1997. ACM SIGPLAN. Published, as Boston College Computer Science Dept. Technical Report BCCS-97-03.
23. Z. Shao and A. Appel. A type-based compiler for Standard ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 116-129, La Jolla, June 1995.
24. D. Tarditi. Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML. PhD thesis, Carnegie Mellon University, 1996.