Ferruccio Damiani  Home/Search
Context
Related
| macs.hw.ac.uk/DART/reports...Dam03b.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: macs.hw.ac.uk/DART/reports/D2.... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a rank 2 intersection type system for a language of modules built on a core ML-like language. The principal typing property of the rank 2 intersection type system for the core language plays a crucial role in the design of the type system for the module language. We first consider a "plain" notion of module, where a module is just a set of mutually recursive top-level definitions, and illustrate the notions of: module intrachecking (each module is typechecked in isolation and its... (Update)
Active bibliography (related documents): More All
1.2: Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
1.1: Rank 2 Intersection Types for Modules - Damiani (2003) (Correct)
0.8: Rank 2 Intersection Types for Local Definitions and Conditional.. - Damiani (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Refined Effects for Reclassification: Fickle_III - Damiani, Dezani-Ciancaglini, .. (2001) (Correct)
0.4: Principal Typings and True Rank 2 Intersection Typable Recursive.. - Damiani (2003) (Correct)
0.4: Rank-2 Intersection and Polymorphic Recursion - Damiani (2005) (Correct)
BibTeX entry: (Update)
@misc{ damiani-rank,
author = "Ferruccio Damiani",
title = "Rank 2 Intersection Types for Modules (Version with conclusions and appendices
of [11])",
url = "citeseer.ist.psu.edu/726284.html" }
Citations (may not include all citations):191 Polymorphic Type Inference (context) - Leivant - 1983
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
122 and modularization (context) - Cardelli, linking - 1997
118 What are principal typings and what are they good - Jim - 1996
75 The essence of principal typings - Wells - 2002
59 Smartest recompilation - Shao, Appel - 1993
54 Type Assignment in Programming Languages (context) - Damas - 1984
54 Functional Characters of Solvable Terms (context) - Coppo, Dezani-Ciancaglini et al. - 1981
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 the type structure of Standard ML - Harper, Mitchell - 1993
20 Rank 2 Intersection Types for Local Definitions and Conditio.. - Damiani - 2003
14 Incremental polymorphism - Aditya, Nikhil - 1991
14 Rank 2 Intersection Types for Modules - Damiani - 2003
12 Principal Types and Unification for Simple Intersection Type.. (context) - Coppo, Giannini - 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 Embedding a Second-Order Type System into an Intersection Ty.. (context) - Yokouchi - 1995
6 Number 42 in Cambridge Tracts in Theoretical Computer Scienc.. (context) - Hindley, Type - 1997
4 An extended polymorphic type system (context) - Coppo - 1980
Documents on the same site (http://www.macs.hw.ac.uk/DART/reports/D2.2/):
Rank 2 Intersection Types for Local Definitions and Conditional.. - Damiani (2003) (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