TILT(ID:3704/til002)

for TIL-Two

take the original TIL compiler and extends it to work with all of Standard ML

Perry Cheng, Leaf Petersen, Chris Stone, Andrew Bernard, Dave Swasey, and Stephanie Weirich CMU 1997  

Revised version of TIL - a compiler for the ML-family of programming languages (SML'97, Caml Special Light, and KML) that takes advantage of types throughout compilation in order to produce better code without compromising safety or correctness.
Related languages
TIL => TILT   Evolution of
TILT => FLINT   Extension of
References:
  • Compiling with Types, Greg Morrisett, (gzipped postscript), Ph.D. Thesis, Published as CMU Technical Report CMU-CS-95-226, December, 1995. view details ps
  • Harper, Robert and Morrisett, Greg "Compiling Polymorphism Using Intensional Type Analysis" view details ps
          in [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. view details
  • Harper, Robert and Stone, Chris A Type Theoretic Account of Standard ML 1996 (Version 2), CMU Technical Report CMU-CS-96-136R. Also appears as Fox Memorandum CMU-CS-FOX-96-02R. view details ps
          in [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. view details
  • Minamide, Yasuhiko; Morrisett, Greg and Robert Harper "Typed Closure Conversion" view details ps
          in [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996 view details
  • Semantics of Memory Management for Polymorphic Languages, Greg Morrisett and Robert Harper, CMU Technical Report CMU-CS-96-176 [Also appears as CMU-CS-FOX-96-04], September, 1996. view details ps
          in [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996 view details
  • Tarditi, D.; Morrisett, G.; Cheng, P. ; Stone, C.; Harper, R.; Lee, P.; "TIL: A Type-Directed Optimizing Compiler for ML" view details ps
          in 1996 SIGPLAN Conference on Programming Language Design and Implementation. view details
  • The TIL/ML Compiler: Performance and Safety Through Types, G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee, 1996 Workshop on Compiler Support for Systems Software. view details ps
          in 1996 SIGPLAN Conference on Programming Language Design and Implementation. view details
    Resources