Unification and ML Type Reconstruction (1991)

Cached

Download Links

by Paris C. Kanellakis , Harry G. Mairson , John C. Mitchell
Citations:42 - 11 self

Active Bibliography

28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
Type Systems for Programming Languages – Steffen van Bakel - 2001
5 An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction – Paris Kanellakis, Gerd Hillebrand, Harry Mairson - 1994
1 Reflections on complexity of ML type reconstruction – Tomasz Wierzbicki - 1997
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
4 Quantifier Elimination and Parametric Polymorphism in Programming Languages – Harry G. Mairson - 1992
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
172 Refinement types for ML – Tim Freeman - 1994
109 Algebraic Reconstruction of Types and Effects – Pierre Jouvelot, David K. Gifford - 1991
STORAGE OPERATORS and ∀-POSITIVE TYPES in T T R TYPE – Karim Nour
STORAGE OPERATORS and ∀-POSITIVE TYPES in TTR TYPE SYSTEM – Karim Nour - 905
STORAGE OPERATORS and ∀-POSITIVE TYPES in TTR TYPE – Karim Nour - 2009
57 Closure Analysis in Constraint Form – Jens Palsberg - 1995
Reliable Frameworks for Extensible Compilers – Jason Hickey Nathan, Nathan Gray, Aleksey Nogin, Cristian T Ăpus
12 A Type System for Computer Algebra – Philip S. Santas - 1994
1 ML Has Principal Typings – Carlos Camarão, Lucília Figueiredo - 2005
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991