Documents Related by Co-Citation

94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
86 Polymorphic Type Inference – D Leivant - 1983
47 Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems – S van Bakel - 1993
939 A theory of type polymorphism in programming – Robin Milner - 1978
218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
55 Type reconstruction in the presence of polymorphic recursion – A J Kfoury, J Tiuryn, P Urzyczyn - 1993
363 Towards a theory of type structure – J C Reynolds - 1974
22 Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) – Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells - 1999
93 Polymorphic type schemes and recursive definitions – A Mycroft - 1984
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
14 A Decidable Intersection Type System based on Relevance – F Damiani, P Giannini - 1994
23 Rank 2 Intersection Type Assignment in Term Rewriting Systems – Steffen van Bakel - 1996
83 Type Inference for Recursively Constrained Types and its Application to OOP – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
94 Type assignment in programming languages – L Damas - 1985
77 Basic Simple Type Theory – J R Hindley - 1997
54 The undecidability of the semi-unification problem – A J Kfoury, J Tiuryn, P Urzyczyn - 1990
41 P.Urcyczyn: An Analysis of ML-Typability – J Tiuryn A J Kfoury - 1990