Documents Related by Co-Citation

52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
59 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
48 Principal type schemes and λ-calculus semantics – M Coppo, M Dezani-Ciancaglini, B Venneri - 1980
26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003
7 Beta-reduction as unification. A refereed extensively edited version is [12]. This preliminary version was presented at the Helena Rasiowa Memorial Conference – A J Kfoury - 1996
47 Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems – S van Bakel - 1993
30 Principal type scheme and unification for intersection type discipline – S Ronchi Della Rocca - 1988
86 The Essence of Principal Typings – J. B. Wells - 2002
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
25 System E: Expansion variables for flexible typing with linear and non-linear types and intersection types – Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury - 2004
89 An Extension of the Basic Functionality Theory for the λ-Calculus – M Coppo, M Dezani-Ciancaglini - 1980
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
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
11 Branching Types – J. B. Wells, Christian Haack - 2002
939 A theory of type polymorphism in programming – Robin Milner - 1978
16 Inference of Polymorphic and Conditional Strictness Properties – Thomas P. Jensen - 1998
27 A complete type inference algorithm for simple intersection types – M Coppo, P Giannini - 1992
104 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
86 Polymorphic Type Inference – D Leivant - 1983