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

Cached

Download Links

by Neal Nelson
Citations:3 - 1 self

Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
938 A theory of type polymorphism in programming – Robin Milner - 1978
566 Term Rewriting Systems – J. W. Klop - 1992
18 Higher Order Logic – Daniel Leivant - 1994
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1311 Monads for functional programming – Philip Wadler - 1995