Type Inference and Reconstruction for First Order Dependent Types (1995)

Cached

Download Links

by Neal Nelson
Citations:3 - 1 self

Active Bibliography

28 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
19 Higher Order Logic – Daniel Leivant - 1994
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
985 A theory of type polymorphism in programming – Robin Milner - 1978
578 Term Rewriting Systems – J. W. Klop - 1992
510 A semantics of multiple inheritance – Luca Cardelli - 1988
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002