TIL(ID:3703/til001)

for Typed Intermediate Language

Compiler for Standard ML based on typed intermediate languages and type-directed translation that carries types through the back end of a compiler.

David Tarditi, Greg Morrisett, Perry Cheng, and Chris Stone under Robert Harper CMU 1996

Related languages
SML/NJ => TIL   Augmentation of
TIL => Bartok   Influence
TIL => Marmot   Influence
TIL => TAL   Influence
TIL => TILT   Evolution 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
    • SOurce code

      "