Active Bibliography

67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994