F. Damiani. Rank 2 intersection types for modules. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming, pages 67--78, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani Self-citation (Damiani) (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani Self-citation (Damiani) (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
No context found.
F. Damiani. Rank 2 intersection types for modules. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming, pages 67--78, 2003.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03, pages 67--78. ACM, 2003.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) (Correct)
No context found.
F. Damiani. Rank 2 intersection types for modules. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming, pages 67--78, 2003.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03, pages 67--78. ACM, 2003.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) (Correct)
No context found.
F. Damiani. Rank 2 intersection types for modules. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming, 2003.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
F. Damiani. Rank 2 intersection types for modules. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming, pages 67--78, 2003.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (2004) (5 citations) (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
No context found.
F. Damiani. Rank 2 intersection types for modules. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming, pages 67--78, 2003.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) (Correct)
No context found.
F. Damiani. Rank 2 Intersection Types for Modules. In PPDP'03. ACM, 2003.
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