Trevor Jim. Rank-2 type systems and recursive definitions. Technical Report MIT/LCS/TM-531, Massachusetts Institute of Technology, November 1995. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
ML^F: Raising ML to the Power of System F - Le Botlan, Rémy (2003) (Correct)
Raising ML to the Power of System F - Le Botlan, Remy (2003) (4 citations) (Correct)
Type Inference with Recursive Types at Different Ranks - Pericas-Geertsen (1994) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (1999) (1 citation) (Correct)
Strongly Typed Flow-Directed Representation.. - Dimock, Muller.. (1997) (15 citations) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (1 citation) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericás-Geertsen (2000) (1 citation) (Correct)
A New Presentation of the Intersection Type Discipline Through .. - Sayag, Mauny (1996) (12 citations) (Correct)
Strongly Typed Flow-Directed Representation.. - Dimock, Muller.. (1997) (15 citations) (Correct)
Strongly Typed Flow-Directed Representation Transformations - Dimock, Muller, Turbak.. (1997) (15 citations) (Correct)
Rank-2 Intersection and Polymorphic Recursion - Damiani (2005) (2 citations) (Correct)
Rank 2 Intersection Types for Local Definitions and Conditional.. - Damiani (2003) (15 citations) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (1 citation) (Correct)
ML^F - Raising ML to the Power of System F - Le Botlan, Rémy (Correct)
Principal Typings and True Rank 2 Intersection Typable Recursive.. - Damiani (2003) (3 citations) (Correct)
What Are Principal Typings and What Are They Good for? - Jim (1995) (116 citations) Self-citation (Jim) (Correct)
What Are Principal Typings and What Are They Good for? - Jim (1995) (116 citations) Self-citation (Jim) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC