|
|
Type-Reconstruction wit First-Class Polymorphic Values
– James William O'Toole, Jr., David K. Gifford
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
26
|
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.
|
|
106
|
Algebraic Reconstruction of Types and Effects
– Pierre Jouvelot, David K. Gifford
- 1991
|
|
24
|
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
|
|
79
|
Partial polymorphic type inference and higher-order unification
– Frank Pfenning
- 1988
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
98
|
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
|
|
37
|
Polymorphism and Type Inference in Database Programming
– Peter Buneman, Atsushi Ohori
|
|
24
|
Rank 2 Type Systems and Recursive Definitions
– Trevor Jim
- 1995
|
|
9
|
Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable
– J. B. Wells
- 1993
|
|
6
|
Structural Polymorphism
– Fritz Ruehr
- 1998
|
|
129
|
Type Inference with Polymorphic Recursion
– Fritz Henglein
- 1991
|
|
54
|
Higher-Order Horn Clauses
– Gopalan Nadathur, Dale Miller
- 1990
|
|
10
|
Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation
– Steffen van Bakel, Sjaak Smetsers, Simon Brock
- 1992
|
