Polymorphic Type Inference and Assignment (1991)

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

Active Bibliography

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
198 Soft Typing – Robert Cartwright, Mike Fagan - 1991
68 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1318 Monads for functional programming – Philip Wadler - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997