Polymorphic Type Inference and Assignment (1991)

by Xavier Leroy , Pierre Weis , Inria Rocquencourt
Citations:49 - 1 self

Documents Related by Co-Citation

1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
110 Type inference for polymorphic references – M Tofte - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
94 Type Assignment in Programming Languages – L M M Damas - 1984
935 A theory of type polymorphism in programming – Robin Milner - 1978
92 Operational Semantics and Polymorphic Type Inference – Mads Tofte - 1988
150 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
109 Algebraic Reconstruction of Types and Effects – Pierre Jouvelot, David K. Gifford - 1991
26 Typing References by Effect Inference – Andrew Wright - 1992
233 Principal type schemes for functional programs – L Damas, R Milner - 1982
22 Typage polymorphe d'un langage algorithmique – X Leroy - 1992
234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
171 Call-by-name, call-by-value, and the lambda calculus – G Plotkin - 1975
140 The principal type-scheme of an object in combinatory logic – J Roger Hindley - 1969
620 Compiling with Continuations – Andrew W Appel - 1992
57 Types and Effects, towards the Integration of Functional and Imperative Programming – J M Lucassen - 1987
11 Standard ML-NJ weak polymorphism and imperative constructs – John Mitchell, Ramesh Viswanathan - 1996
9 Standard ML Weak Polymorphism Can Be Sound – John Greiner - 1993