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
19 Higher Order Logic – Daniel Leivant - 1994
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
17 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990