Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
Type-Reconstruction wit First-Class Polymorphic Values – James William O'Toole, Jr., David K. Gifford
Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
11 Type Reconstruction with First-Class Polymorphic Values – James William O'Toole, Jr., David K. Gifford - 1989
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
jury compose de: – Pierre Jouvelot, Patrick Cousot (ens, Paul Feautrier (paris Vi, David K. Gi Ord (mit, De Bureau Francois Irigoin, Remi Triolet, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
1 Method Reuse in Typed Object-Oriented Languages – Ryan Stansifer, Dan Wetklow - 1994
38 Extensible records in a pure calculus of subtyping – Luca Cardelli - 1994
73 Type Inference for Records in a Natural Extension of ML – Didier Rémy - 1994
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
92 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998