H ? « ‹ ← → › »

Language peer sets for TIL:
United States↑
United States/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

TIL(ID:3703/til001)

alternate simple view
Country: United States
Designed 1995
Published: 1996

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 pos (1995) Compiling with Types, Greg Morrisett, (gzipped postscript), Ph.D. Thesis, Published as CMU Technical Report CMU-CS-95-226, December, 1995. ps
  • Harper, Robert and Morrisett, Greg (1995) Harper, Robert and Morrisett, Greg "Compiling Polymorphism Using Intensional Type Analysis" ps
          in [POPL 1995] (1995) [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.
  • Harper, Robert and Stone, Chris A Type Theoretic A (1996) 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. ps
          in [POPL 1995] (1995) [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.
  • Minamide, Yasuhiko; Morrisett, Greg and Robert Har (1996) Minamide, Yasuhiko; Morrisett, Greg and Robert Harper "Typed Closure Conversion" ps
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Semantics of Memory Management for Polymorphic Lan (1996) 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. ps
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Tarditi, D.; Morrisett, G.; Cheng, P. ; Stone, C.; (1996) Tarditi, D.; Morrisett, G.; Cheng, P. ; Stone, C.; Harper, R.; Lee, P.; "TIL: A Type-Directed Optimizing Compiler for ML" ps
          in [PLDI] (1996) 1996 SIGPLAN Conference on Programming Language Design and Implementation.
  • The TIL/ML Compiler: Performance and Safety Throug (1996) 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. ps
          in [PLDI] (1996) 1996 SIGPLAN Conference on Programming Language Design and Implementation.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder