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
Summary Related Articles Check |
This paper is cited in the following contexts:
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1999) (19 citations) (Correct)
....This allows our approach to be based on both substitution and unification. This opens the possibility of more efficient algorithms by adding additional (unnecessary) constraints to the unification problem to shortcut the solution, an adaptation we leave to future work. Sayag and Mauny [SM97, SM96] continue the earlier work cited above, and succeed in defining a simpler notion of principal typings for a system of intersection types. An important difference with our analysis is the continued use of an expansion operation, although considerably simplified from earlier formulations, in part ....
' E. Sayag and M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, Oct. 16, 1996.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
No context found.
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.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
No context found.
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.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
E. Sayag, M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, 1996.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) (Correct)
No context found.
E. Sayag, M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, 1996.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (2004) (5 citations) (Correct)
No context found.
E. Sayag, M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, 1996.
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
No context found.
E. Sayag and M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, Oct. 16, 1996.
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
No context found.
' E. Sayag and M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, Oct. 16, 1996.
Principality and Decidable Type Inference for Finite-Rank.. - Kfoury, Wells (1998) (19 citations) (Correct)
No context found.
' E. Sayag and M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, Oct. 16, 1996.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
E. Sayag, M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, 1996.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) (Correct)
No context found.
E. Sayag and M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, Oct. 16, 1996.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
E. Sayag, M. Mauny. A new presentation of the intersection type discipline through principal typings of normal forms. Technical Report RR-2998, INRIA, 1996.
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