Ist- Dynamic Assembly DART IST-2001-33477 Dynamic Assembly, Reconfiguration and Type-checking...  Home/Search
Context
Related
| macs.hw.ac.uk/DART...Deliverable2.1.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: This paper studies subtyping polymorphism via a two-level type system for a #-calculus with records: a first level is a first-order Church type discipline, extended with subtyping in width and depth; the second level is an intersection type system for modelling behavioural aspects that are ignored by Church types (Update)
Active bibliography (related documents): More All
0.5: Rank 2 Intersection Types for Local Definitions and Conditional.. - Damiani (2003) (Correct)
0.5: Principal Typing in Elementary Affine Logic - Coppola, Rocca (Correct)
0.3: Restricted intersection type assignment systems and object.. - de'Liguoro (2002) (Correct)
Similar documents based on text: More All
0.3: Unknown - Ist- Dynamic Assembly (Correct)
0.2: A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (Correct)
0.2: Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
BibTeX entry: (Update)
@misc{ assembly-unknown,
author = "Ist- Dynamic Assembly",
title = "Unknown",
url = "citeseer.ist.psu.edu/726323.html" }
Citations (may not include all citations):144 Controlling interference in ambients - Levi, Sangiorgi - 2000
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
118 What are principal typings and what are they good - Jim - 1996
75 Domain theory in logical form (context) - Abramsky - 1991
75 The essence of principal typings - Wells - 2002
53 Secure safe ambients - Bugliesi, Castagna - 2001
28 Mobile ambients (context) - Cardelli, Gordon - 1998
28 Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
24 An algorithm for optimal lambda-calculus reductions (context) - Lamping - 1990
20 Rank 2 intersection types for local definitions and conditio.. - Damiani - 2002
13 and Silvia Crafa (context) - Bugliesi, Castagna - 2001
10 A fully abstract model for higher-order mobile ambients (context) - Coppo, Dezani-Ciancaglini - 2002
7 Mobile processes with dependent communication types and sing.. - Amtoft, Wells - 2002
6 Characterizing convergent terms in object calculi via inters.. (context) - de'Liguoro - 2044
6 The recursive record semantics of object revised (context) - Boudol - 2002
2 Typing local definitions and conditional expressions with ra.. (context) - Damiani - 2000
2 Typing lambda terms in elementary logic with linear constrai.. (context) - Coppola - 2001
1 Restricted intersection type assignment systems and object p.. (context) - de'Liguoro - 2002
1 Della Rocca. Principal Typing in Elementary A#ne Logic. Subm.. (context) - Coppola, Ronchi - 2002
1 Subtyping in logical form (context) - de'Liguoro - 2002
1 A filter model for safe ambients (context) - Margaria, Zacchi - 2002
Documents on the same site (http://www.macs.hw.ac.uk/DART/reports/D2.1/): More
Principal Typing in Elementary Affine Logic - Coppola, Rocca (Correct)
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (Correct)
Restricted intersection type assignment systems and object.. - de'Liguoro (2002) (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