Sergio Maffeis  Home/Search
Context
Related
| doc.ic.ac.uk/~maffeis/itrs04.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: doc.ic.ac.uk/~maffeis/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce channel sequence types to study finitary polymorphism in the context of mobile processes modelled in the #-calculus. We associate to each channel a set of exchange types, and we require that output processes send values of one of those types, and input processes accept values of all the types in the set. Our type assignment system enjoys subject reduction and guarantees the absence of communication errors. We give several examples of polymorphism, and we encode the #-calculus with... (Update)
Active bibliography (related documents): More All
0.6: Polymorphic Intersection Type Assignment for.. - van Bakel.. (2001) (Correct)
0.5: An Interaction-based Language and its Typing System - Takeuchi (1994) (Correct)
0.5: Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
Similar documents based on text: More All
0.2: Strongly Normalising Cut-Elimination with Strict Intersection.. - van Bakel (2003) (Correct)
0.2: Modelling Dynamic Web Data - Gardner, Maffeis (Correct)
0.1: On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (Correct)
BibTeX entry: (Update)
@misc{ maffeis-sequence,
author = "Sergio Maffeis",
title = "Sequence Types for the π-calculus",
url = "citeseer.ist.psu.edu/maffeis04sequence.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
149 calculus: A tutorial (context) - Milner, The - 1993
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
114 The Polymorphic Pi-calculus: Theory and Implementation - Turner - 1995
70 Preliminary design of the programming language forsythe (context) - Reynolds - 1988
68 An extension of the basic functionality theory for the #-cal.. (context) - Coppo, Dezani-Ciancaglini - 1980
67 Programming with Intersection Types and Bounded Polymorphism - Pierce - 1991
56 Behavioral equivalence in the polymorphic picalculus - Pierce, Sangiorgi - 2000
35 Complete restrictions of the intersection type discipline - van Bakel - 1992
27 Principal typing schemes in a polyadic picalculus (context) - Vasconcelos, Honda
26 Intersection type assignment systems (context) - van Bakel - 1995
22 A sort inference algorithm for the polyadic #-calculus (context) - Gay - 1993
15 Polya: True type polymorphism for mobile ambients - Amtoft, Makholm et al. - 2004
13 Principal type schemes for the strict type assignment system - van Bakel - 1993
11 the expressive power of polyadic synchronisation in #-calcul.. - Carbone, Ma - 2003
10 A fully abstract model for higherorder mobile ambients (context) - Coppo, Dezani-Ciancaglini - 2002
8 ur Mathematische Logik und Grundlagen der Mathematik (context) - Coppo, Dezani-Ciancaglini et al. - 1981
5 calculus characterisations some practical #-calculus reducti.. (context) - Ostheimer, Davie - 1993
4 A polymorphic type system for the polyadic pi-calculus (context) - Liu, Walker - 1995
2 Genericity and the pi-calculus - Berger, Honda et al.
2 Rank 2 intersection type assignment in term rewriting system.. - van Bakel - 1996
2 Predicative polymorphism in pi-calculus - Vasconcelos - 1994
1 Mathematical Structures in Computer Science (context) - Damiani, Dezani-Ciancaglini et al. - 1999
1 Revised version in Mathematical Structures in Computer Scien.. (context) - Milner - 1992
Documents on the same site (http://www.doc.ic.ac.uk/~maffeis/): More
Process Algebra-Guided Design of Java Mobile Network.. - Carbone, Coccia.. (2001) (Correct)
On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (Correct)
On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2003) (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