| Alternate document: Details Rank 2 Intersection Types for Modules (03) Ferruccio Damiani |
Ferruccio Damiani  Home/Search
Context Related
| macs.hw.ac.uk/DART/reports...Dam03a.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: macs.hw.ac.uk/DART/reports/D2.... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we propose a rank 2 intersection type system with new typing rules for (possibly mutually recursive) local definitions and conditional expressions. This is a further step towards the use of intersection types in "real" programming languages. In order to simplify the exposition, the new typing rules are first introduced though three orthogonal extensions (for local definitions, recursive definitions, and conditional expressions) of a rank 2 intersection type system for a #-calculus... (Update)
Cited by: More
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (Correct)
Rank-2 Intersection and Polymorphic Recursion - Damiani (2005) (Correct)
Unknown - Ist- Dynamic Assembly (Correct)
Active bibliography (related documents): More All
0.8: Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
0.8: Rank 2 Intersection Types for Modules - Damiani (2003) (Correct)
0.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.6: Rank 2 Intersection Types for Local Definitions and.. - Ferruccio Damiani.. (2003) (Correct)
0.4: Re-classification and Multi-threading: Fickle_MT.. - Damiani.. (Correct)
0.4: Principal Typings and True Rank 2 Intersection Typable Recursive.. - Damiani (2003) (Correct)
Related documents from co-citation: More All
19: What are principal typings and what are they good - Jim - 1996
18: Type error slicing in implicitly typed (context) - Haack, Wells - 2003
17: The essence of principal typings - Wells - 2002
BibTeX entry: (Update)
F. Damiani. Rank 2 intersection types for local definitions and conditional expressions. ACM Trans. on Prog. Langs. & Systs., 25(4), 2003. http://citeseer.ist.psu.edu/damiani03rank.html More
@misc{ damiani03rank,
author = "F. Damiani",
title = "Rank 2 intersection types for local definitions and conditional expressions",
text = "F. Damiani. Rank 2 intersection types for local definitions and conditional
expressions. ACM Trans. on Prog. Langs. & Systs., 25(4), 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/damiani03rank.html" }
Citations (may not include all citations):325 Towards a Theory of Type Structure (context) - REYNOLDS - 1974
191 Polymorphic Type Inference (context) - LEIVANT - 1983
137 A filter lambda model and the completeness of type assignmen.. (context) - BARENDREGT, COPPO et al. - 1983
132 Interpretation fonctionelle et elimination des coupures dans.. (context) - GIRARD - 1972
126 Type inference with polymorphic recursion - HENGLEIN - 1993
118 What are principal typings and what are they good - JIM - 1996
79 Polymorphic Type Schemes and Recursive Definitions (context) - MYCROFT - 1984
59 Smartest recompilation - SHAO, AND - 1993
54 Functional Characters of Solvable Terms (context) - COPPO, DEZANI-CIANCAGLINI et al. - 1981
54 Type Assignment in Programming Languages (context) - DAMAS - 1984
47 Principality and Decidable Type Inference for Finite-Rank In.. - KFOURY, AND - 1999
45 Intersection Type Disciplines in Lambda Calculus and Applica.. (context) - VAN BAKEL - 1993
44 The Definition of Standard ML - Revised (context) - MILNER, TOFTE et al. - 1997
30 Basic Simple Type Theory (context) - -- - 1997
26 Type reconstruction in F (context) - URZYCZYN - 1997
17 Rank 2 type systems and recursive definitions - JIM - 1995
14 Incremental polymorphism - ADITYA, AND - 1991
12 Principal Types and Unification for Simple Intersection Type.. (context) - COPPO, AND - 1995
8 Embedding a Second-Order Type System into an Intersection Ty.. (context) - YOKOUCHI - 1995
8 An extension of basic functional theory for lambdacalculus (context) - COPPO, AND - 1980
8 Principal type schemas for functional programs (context) - DAMAS, AND - 1982
4 An extended polymorphic type system (context) - COPPO - 1980
3 Typability and type-checking in the second-order lambda-calc.. - WELLS - 1994
3 Principal typing in a discipline (context) - MARGARIA, AND - 1995
3 A direct algorithm for type inference in the rank-2 fragment.. (context) - KFOURY, AND - 1994
3 A polar type system (context) - JIM - 2000
2 Typing local definitions and conditional expressions with ra.. (context) - DAMIANI - 2000
1 Polymorphic Intersection Type Assignment for Rewite Systems .. - VAN BAKEL, BARBANERA et al. - 1956
1 Principal Type Schemes and Lambdacalculus Semantics (context) - Dame, Logic et al. - 1980
1 Intersezione al rank 2 per MiniOcaml (context) - LEPORATI - 2000
1 Type reconstruction in the presence of polymorphic recursion (context) - --, TIURYN et al. - 1993
1 Received December (context) - Comp
1 Principal Type Scheme and Unification for Intersection Type .. (context) - Springer, ROCCA - 1988
1 A Decidable Intersection Type System based on Relevance (context) - FOSSACS', ETAPS' et al. - 1994
1 Principal Types Schemes for an extended type theory (context) - Comput, -- et al. - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.macs.hw.ac.uk/DART/reports/D2.2/):
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
Unknown - Ist- Dynamic Assembly (Correct)
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