Polymorphic Type Inference and Semi-Unification (1989)

Cached

Download Links

by Fritz Henglein
Citations:25 - 6 self

Documents Related by Co-Citation

54 The undecidability of the semi-unification problem – A J Kfoury, J Tiuryn, P Urzyczyn - 1990
93 Polymorphic type schemes and recursive definitions – A Mycroft - 1984
939 A theory of type polymorphism in programming – Robin Milner - 1978
35 On subsumption and semi-unification in feature algebras РJochen D̦rre, William C Rounds - 1989
77 A simple algorithm and proof for type inference – M Wand - 1987
8 Computational consequences and partial solutions of a generalized unification problem – A Kfoury, J Tiuryn, P Urzyczyn - 1989
363 Towards a theory of type structure – J C Reynolds - 1974
234 Principal type schemes for functional programs – R Milner - 1982
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
94 Type assignment in programming languages – L Damas - 1985
42 Unification and ML Type Reconstruction – Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell - 1991
15 ML typability is DEXPTIME-complete – A J Kfoury, J Tiuryn, P Urzyczyn - 1990
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
2 Algebraic properties of semi-unification – Fritz Henglein - 1988
149 An Investigation of the Laws of Thought – George Boole - 1958
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
220 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
213 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004