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.

Languages mentioned

• TIL {1995}
• TILT {1997}