Active Bibliography

28 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
96 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
141 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
1353 Monads for functional programming – Philip Wadler - 1995
1165 Proof-Carrying Code – George C. Necula - 1997
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
663 Inverse entailment and Progol – Stephen Muggleton - 1995