Ferruccio Damiani  Home/Search
Context Related
| di.unito.it/~damiani/papers...recp2.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/~jbw...bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose new typing rules for assigning rank 2 intersection types to (possibly mutually) recursive definitions. A major achievement of the new rules over previous proposals is that they allow to type also true rank 2 intersection typable recursive definitions (i.e., recursive definitions that have a rank 2 intersection type and no simple type). A notable feature of these rules is that they rely entirely on principal typings, so they can be added to any system with principal typings. 1 (Update)
Cited by: More
Unknown - Ist- Dynamic Assembly (Correct)
Active bibliography (related documents): More All
1.7: Rank-2 Intersection and Polymorphic Recursion - Damiani (2005) (Correct)
0.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: Rank 2 Intersection Types for Modules - Damiani (2003) (Correct)
Similar documents based on text: More All
0.7: Rank 2 Intersection Types for Local Definitions and.. - Ferruccio Damiani.. (2003) (Correct)
0.6: Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
0.5: Re-classification and Multi-threading: Fickle_MT - Damiani, Dezani-Ciancaglini, .. (Correct)
Related documents from co-citation: More All
4: Type error slicing in implicitly typed (context) - Haack, Wells - 2003
4: PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm et al. - 2004
3: Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
BibTeX entry: (Update)
F. Damiani. Principal typings and true rank 2 intersection typable recursive definitions. Internal report. Superseded by [Dam05b], October 2003. http://citeseer.ist.psu.edu/damiani03principal.html More
@misc{ damiani03principal,
author = "F. Damiani",
title = "Principal typings and true rank 2 intersection typable recursive definitions",
text = "F. Damiani. Principal typings and true rank 2 intersection typable recursive
definitions. Internal report. Superseded by [Dam05b], October 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/damiani03principal.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
75 The essence of principal typings - Wells - 2002
54 Type reconstruction in the presence of polymorphic recursion (context) - Kfoury, Tiuryn et al. - 1993
45 Intersection Type Disciplines in Lambda Calculus and Applica.. (context) - van Bakel - 1993
20 Rank 2 intersection types for local definitions and conditio.. - Damiani - 2003
17 Rank 2 type systems and recursive definitions - Jim - 1995
8 An extension of basic functional theory for lambda-calculus (context) - Coppo, Dezani-Ciancaglini - 1980
8 Principal type schemas for functional programs (context) - Damas, Milner - 1982
8 Incremental polymorphic type checking in B (context) - Meertens - 1983
6 Number 42 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Hindley, Type - 1997
3 Type inference for recursive definitions - Kfoury, Pericas-Geertsen - 1999
2 Programming examples needing polymorphic recursion - Hallett, Kfoury - 2003
2 Rank 2 types for term graph rewriting (context) - van Bakel - 2003
Documents on the same site (http://www.macs.hw.ac.uk/~jbw/itrs/bibliography.html): More
Type Assignement for Mobile Objects - Barbanera, de'Liguoro (Correct)
Logical Semantics for the First Order ζ-Calculus - van Bakel, de'Liguoro (Correct)
A Linearization of the Lambda-Calculus and Consequences - Kfoury (2000) (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