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

259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
938 A theory of type polymorphism in programming – Robin Milner - 1978
706 Types and Programming Languages – B C Pierce - 2002
945 A Machine-Oriented Logic Based on the Resolution Principle – J A Robinson - 1965
301 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
303 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
158 An intuitionistic theory of types: Predicative part – P Martin-Lof - 1975