Active Bibliography

8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
8 Certified Run-time Code Generation – Frederick M. Smith - 2002
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
11 Programming With Types – Stephanie Claudene Weirich - 2002
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
14 Low-Level Linear Memory Management – Chris Hawblitzel, Edward Wei, Heng Huang, Eric Krupski, Lea Wittie - 2004
22 The Logical Approach to Stack Typing – Amal Ahmed, David Walker - 2003
25 Reasoning about Hierarchical Storage – Amal Ahmed , Limin Jia, David Walker - 2003
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
Typed Intermediate Languages – Stephen Tse, Stephen Tse
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
3 Typed Intermediate Representations for Compiling Object-Oriented Languages – Joseph C. Vanderwaart - 1999
137 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
6 Linear Logic and Imperative Programming – Limin Jia - 2008
18 A step-indexed model of substructural state – Amal Ahmed - 2005
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997