Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) (1999)

Cached

Download Links

by Assaf J. Kfoury , Harry G. Mairson , Franklyn A. Turbak , J. B. Wells
Venue:In Proc. 1999 Int’l Conf. Functional Programming
Citations:22 - 9 self

Active Bibliography

8 Types, potency, and idempotency: why nonlinearity and amnesia make a type system work – Peter Møller Neergaard, Harry G. Mairson - 2004
86 The Essence of Principal Typings – J. B. Wells - 2002
17 Expansion: the Crucial Mechanism for Type Inference with Intersection Types: Survey and Explanation – Sebastien Carlier, J. B. Wells - 2005
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
12 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003
26 Principality and Type Inference for Intersection Types Using Expansion Variables – A. J. Kfoury, J. B. Wells - 2003
11 Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction – Sébastien Carlier, J. B. Wells
4 Rank 2 Types for Term Graph Rewriting (Extended Abstract) – Steffen van Bakel
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
11 Branching Types – J. B. Wells, Christian Haack - 2002
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
2 Rank 2 types for term graph rewriting – Steffen Van Bakel - 2003
12 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
29 Strongly Typed Flow-Directed Representation Transformations (Extended Abstract) – Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells - 1997
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
4 Polymorphic Intersection Type Assignment for Rewite Systems with Intersection and beta-rule (Extended Abstract) – Steffen van Bakel, Franco Barbanera, Maribel Fernández - 2000
23 Rank 2 Intersection Type Assignment in Term Rewriting Systems – Steffen van Bakel - 1996