Active Bibliography

Compiling with Types – unknown authors
Type Theory for Programming Languages – Robert Harper - 1994
Type Systems for Programming Languages – Robert Harper - 2000
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
36 Typed Cross-Module Compilation – Zhong Shao - 1998
156 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1318 Monads for functional programming – Philip Wadler - 1995