Type Reconstruction with First-Class Polymorphic Values (1989)

Cached

Download Links

by James William O'Toole, Jr. , David K. Gifford
Citations:11 - 0 self

Active Bibliography

Type-Reconstruction wit First-Class Polymorphic Values – James William O'Toole, Jr., David K. Gifford
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
3 Type Abstraction Rules for References: A Comparison of Four Which Have Achieved Notoriety – James William O'toole, Jr.
109 Algebraic Reconstruction of Types and Effects – Pierre Jouvelot, David K. Gifford - 1991
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
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
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson, To Mary Alice, To Sherri - 1995
80 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
2 Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus – Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning - 1989
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
12 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
6 Structural Polymorphism – Fritz Ruehr - 1998
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
11 Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation – Steffen van Bakel, Sjaak Smetsers, Simon Brock - 1992