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

Cached

Download Links

by Neal Nelson
Citations:3 - 1 self

Documents Related by Co-Citation

262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
721 Types and programming languages – Benjamin C Pierce - 2002
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
6 Primitive recursive functionals with dependent types – N Nelson - 1991
159 An intuitionistic theory of types: Predicative part – P Martin-Löf - 1975