Emilie Sayag and Michel Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR2998, INRIA, October 16, 1996. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1999) (19 citations) (Correct)
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) (Correct)
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (2004) (5 citations) (Correct)
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (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