Assaf J. Kfoury, Geo# Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In ITRS '02 [22]. The ITRS '02 proceedings appears as vol. 70, issue 1 of Elec. Notes in Theoret. Comp. Sci. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Wells) (Correct)
No context found.
Assaf J. Kfoury, Geo# Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In ITRS '02 [22]. The ITRS '02 proceedings appears as vol. 70, issue 1 of Elec. Notes in Theoret. Comp. Sci.
Principal Typings for All Normalizable Terms in the System.. - Schwartz, Kfoury (2003) Self-citation (Kfoury) (Correct)
No context found.
Assaf J. Kfoury, Geo# Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In Proceedings of the 2nd Workshop on Intersection Types and Related Systems, 2002. The ITRS '02 proceedings will appear as vol. 70, issue 1 of Elec. Notes in Theoret. Comp. Sci.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Wells) (Correct)
No context found.
Assaf J. Kfoury, Geo# Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In ITRS '02 [22]. The ITRS '02 proceedings appears as vol. 70, issue 1 of Elec. Notes in Theoret. Comp. Sci.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) Self-citation (Wells) (Correct)
No context found.
A. J. Kfoury, G. Washburn, J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In ITRS '02 [25]. The ITRS '02 proceedings appears as vol. 70, issue 1 of Elec. Notes in Theoret. Comp. Sci.
Typing Weakly Normalizable Terms via Intersection Types and.. - Schwartz (2003) (Correct)
No context found.
Assaf J. Kfoury, Geo#rey Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In Proceedings of the 2nd Workshop on Intersection Types and Related Systems, 2002.
Rank Bounded Intersection: Types, Potency, and Idempotency - Neergaard, Mairson (2003) (Correct)
No context found.
A. J. Kfoury, G. Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In Proceedings of the 2nd Workshop on Intersection Types and Related Systems, 2002. Referenced on pp. 7
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
No context found.
A. J. Kfoury, G. Washburn, and J. B. Wells. Implementing compositional analysis using intersection types with expansion variables. In Proceedings of the 2nd Workshop on Intersection Types and Related Systems, 2002.
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