H ? « ‹ ← → › »

Language peer sets for TILT:
United States↑
United States/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

TILT(ID:3704/til002)

alternate simple view
Country: United States
Designed 1997

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 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