Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
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
Type Theory for Programming Languages – Robert Harper - 1994
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012
Abstraction-Based Genetic Programming By – Franck J. L. Binard
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993