Active Bibliography

11 Programming With Types – Stephanie Claudene Weirich - 2002
228 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
36 Typed Cross-Module Compilation – Zhong Shao - 1998
Flexible Type Analysis \Lambda – Karl Crary, Stephanie Weirich
8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
Abstract Principled Compilation and Scavenging – Stefan Monnier, Stefan Monnier - 2003
Abstract Flexible Type Analysis – Karl Crary
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000