S. Carlier, J.B. Wells, Type inference with expansion variables and intersection types in system E and an exact correspondence with #-reduction, Tech. Rep. HWMACS -TR-0012, Heriot Watt University (####). 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 (Carlier Wells) (Correct)
No context found.
Sebastien Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with #-reduction. Technical Report HW-MACS-TR-0012, Heriot-Watt Univ., School of Math. & Comput. Sci., January 2004. Completely superseded by [6].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Carlier Wells) (Correct)
No context found.
Sebastien Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with #-reduction. In Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, 2004. Completely supersedes [7].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Carlier Wells) (Correct)
No context found.
Sebastien Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with #-reduction. Technical Report HW-MACS-TR-0012, Heriot-Watt Univ., School of Math. & Comput. Sci., January 2004. Completely superseded by [6].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (1 citation) Self-citation (Carlier Wells) (Correct)
No context found.
Sebastien Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with #-reduction. In Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, 2004. Completely supersedes [7].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) Self-citation (Carlier Wells) (Correct)
No context found.
S. Carlier, J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with b-reduction. Technical Report HW-MACS-TR-0012, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004. Completely superseded by [8].
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (1 citation) Self-citation (Carlier Wells) (Correct)
No context found.
S. Carlier, J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with b-reduction. In Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, 2004. Completely supersedes [9].
Exact Intersection Typing Inference and Call-by-Name.. - Adam Bakewell Sebastien (2004) Self-citation (Carlier Wells) (Correct)
No context found.
S. Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with #-reduction. In Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, 2004.
On Type Inference - In The Intersection (Correct)
No context found.
S. Carlier, J.B. Wells, Type inference with expansion variables and intersection types in system E and an exact correspondence with #-reduction, Tech. Rep. HWMACS -TR-0012, Heriot Watt University (####).
On Type Inference in the - Intersection Type Discipline (Correct)
No context found.
S. Carlier, J.B. Wells, Type inference with expansion variables and intersection types in system E and an exact correspondence with #-reduction, Tech. Rep. HW-MACS-TR-0012, Heriot Watt University (2004).
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Sebastien Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with #-reduction. Technical Report HW-MACS-TR-0012, Heriot-Watt Univ., School of Math. & Comput. Sci., January 2004.
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
No context found.
S. Carlier and J. B. Wells. Type inference with expansion variables and intersection types in System E and an exact correspondence with b-reduction. Technical Report HW-MACSTR -0012, Heriot-Watt Univ., School of Math. & Comput. Sci., Jan. 2004.
On Type Inference in the Intersection Type Discipline - Boudol, Zimmer (2004) (3 citations) (Correct)
No context found.
S. Carlier, J.B. Wells, Type inference with expansion variables and intersection types in system E and an exact correspondence with #-reduction, Tech. Rep. HWMACS -TR-0012, Heriot Watt University (####).
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