Active Bibliography

Type Reconstruction for Type Classes 1 – Tobias Nipkow, Christian Prehofer, Tu M√ľnchen
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
124 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
1311 Monads for functional programming – Philip Wadler - 1995
1096 Proof-Carrying Code – George C. Necula - 1997
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
10 ML typing, explicit polymorphism and qualified types – Mark P. Jones - 1994