Active Bibliography

10 Practical Soft Typing – Andrew K. Wright - 1994
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
102 Compiling with Types – Greg Morrisett - 1995
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
available at IET Digital Library. Including both Static and Dynamic Typing in the same Programming Language – Francisco Ortin, Daniel Zapico, J. Baltasar, G. Perez-schofield, Miguel Garcia - 2009
4 Higher-Order Intensional Type Analysis in Type-Erasure Semantics – Stephanie Weirich - 2003
19 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993
6 A Design for Type-Directed Programming in Java – Stephanie Weirich, Liang Huang - 2004
11 Programming With Types – Stephanie Claudene Weirich - 2002
200 Type systems – Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
93 A Critique of Standard ML – Andrew W. Appel - 1992
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
38 Semantics for communication primitives in a polymorphic language – Atsushi Ohori, Kazuhiko Kato - 1993
14 Abstract Machines for Dynamic Computation – Christopher David Walton - 2001
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori