Active Bibliography

135 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
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
1 Separate Polyvariant Binding Time Reconstruction – Charles Consel, Pierre Jouvelot, Peter Ørbæk - 1994
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
64 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
10 Taming Effects with Monadic Typing – Richard B. Kieburtz - 1999
104 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
43 Static dependent costs for estimating execution time – Brian Reistad, David K. Gifford - 1994
Type and Effect Systems via Abstract Interpretation – Jerome Vouillon, Pierre Jouvelot - 1995
59 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
2 Data structures and data types in objectoriented databases – Val Breazu-tannen, Peter Buneman, Atsushi Ohori - 1991
44 ML With Extended Pattern Matching And Subtypes – Lalita A. Jategaonkar - 1989
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
55 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
2 A Type system for Object-Oriented Database Programming and Querying Languages – Yves Caseau, Laurent Perron - 1991
315 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
75 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998