Active Bibliography

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
153 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
366 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
345 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
335 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982