Active Bibliography

604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
610 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
523 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
398 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
170 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
451 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
446 Introduction to the ISO specification language Lotos – Tommaso Bolognesi - 1988
407 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
407 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002