Polymorphic Type Inference and Semi-Unification (1989)

Cached

Download Links

by Fritz Henglein
Citations:25 - 6 self

Active Bibliography

102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
47 First-class Polymorphism with Type Inference – Mark P. Jones
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
21 Types and Polymorphism in Persistent Programming Systems – Richard C. H. Connor - 1990
3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
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
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000