Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3):1--70, 2004. Supersedes [31]. For omitted proofs, see the longer report [32]. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Wells) (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3):1--70, 2004. Supersedes [31]. For omitted proofs, see the longer report [32].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Wells) (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [31], August 2003.
Unknown - Expansion Variables For Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 200X. To appear. Supersedes [8]. For omitted proofs, see the longer report [9].
Unknown - Expansion Variables For Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [8], 2003.
Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2003) (2 citations) Self-citation (Kfoury) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 200X. To appear. Supersedes [KW99]. For omitted proofs, see the longer report [KW03].
Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2003) (2 citations) Self-citation (Kfoury) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [KW99], Aug. 2003.
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 200X. Supersedes [KW99], omitted proofs included in the full report [KW02]. Accepted subject to revisions. 53
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (4 citations) Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [KW99] and contains proofs omitted in [KW0X], Aug. 2002.
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 200X. To appear. Supersedes [8]. For omitted proofs, see the longer report [9].
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [8], 2003.
Principal Typings for All Normalizable Terms in the System.. - Schwartz, Kfoury (2003) Self-citation (Kfoury) (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [KW99], August 2002.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Wells) (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3):1--70, 2004. Supersedes [31]. For omitted proofs, see the longer report [32].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Wells) (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [31], August 2003.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) Self-citation (Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3), 2004. Supersedes [19]. For omitted proofs, see the longer report [20].
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (5 citations) Self-citation (Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [19], 2003.
Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2004) (2 citations) Self-citation (Kfoury) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 200X. To appear. Supersedes [KW99]. For omitted proofs, see the longer report [KW03].
Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2004) (2 citations) Self-citation (Kfoury) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [KW99], Aug. 2003.
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) Self-citation (Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [36], 2003.
Exact Intersection Typing Inference and Call-by-Name.. - Adam Bakewell Sebastien (2004) Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3):1--70, 2004. Supersedes [14]. For omitted proofs, see the longer report [15].
Exact Intersection Typing Inference and Call-by-Name.. - Adam Bakewell Sebastien (2004) Self-citation (Kfoury Wells) (Correct)
No context found.
A. J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [14], Aug. 2003.
Implementing Compositional Analysis Using Intersection Types.. - Kfoury, al. (2002) (3 citations) Self-citation (Kfoury Wells) (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [11], August 2002.
Type Inference with Expansion Variables and Intersection.. - Carlier, Wells (2004) (5 citations) Self-citation (Wells) (Correct)
No context found.
A. J. Kfoury, J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3), 2004. Supersedes [20]. For omitted proofs, see the longer report [21].
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Theoret. Comput. Sci., 311(1--3):1--70, 2004. Supersedes
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Assaf J. Kfoury and J. B. Wells. Principality and type inference for intersection types using expansion variables. Supersedes [KW99], August 2003.
A Bargain for Intersection Types: A Simple Strong Normalization.. - Neergaard (Correct)
No context found.
Kfoury, Assaf J., & Wells, J. B. (2004). Principality and type inference for intersection types using expansion variables. Theoretical computer science, 311(1--3), 1--70.
First 50 documents
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