Benjamin C. Pierce, Didier Rémy, David N. Turner  Home/Search
Context Related
| indiana.edu/pub/pierce/pilang.ps.gz 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: indiana.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The -calculus offers an attractive basis for concurrent programming languages. It is small, elegant, and well understood, and it supports, via simple encodings,a wide range of high-level constructs such as structured data, higher-order programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the -calculus, yielding strong, static typing for high-level languages defined in this way. 1 Introduction Though it... (Update)
Context of citations to this paper: More
...the full output prexes play a secondary role w.r.t. the other operators (restriction, parallel composition, replication and input prex) [6, 5, 10]. Restricted forms of output prex, in which the continuation is null (asynchronous output) 6] or where all names emitted are...
...is removed and stored in values local to the receiver. Examples of languages based on asynchronous message passing are Actors [2] or PICT [108] based on the calculus [83] Similarly to synchronous message passing, selective communication is required for a process to select...
Cited by: More
Process Calculi at work - An account of the LCS project - Berthomieu (1995) (Correct)
Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
Some results in the Join-Calculus - Levy (1997) (Correct)
Active bibliography (related documents): More All
0.6: Pict Language Definition - Pierce, Turner (1996) (Correct)
0.2: Typing and Subtyping - For Mobile Processes (Correct)
0.2: Typing and Subtyping for Mobile Processes (Extended Abstract) - Pierce, Sangiorgi (1992) (Correct)
Similar documents based on text: More All
0.1: Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
0.1: Decidable Bounded Quantification - Castagna, Pierce (1994) (Correct)
0.1: Mutable Objects - Pierce (1993) (Correct)
Related documents from co-citation: More All
10: Information and Computation (context) - Milner, Parrow et al. - 1992
7: An object calculus for asynchronous communication - Honda, Tokoro - 1991
6: Actors: a model of concurrent computation in distributed systems (context) - Agha - 1988
BibTeX entry: (Update)
Benjamin C. Pierce, Didier R'emy, and David N. Turner. A typed higher-order programming language based on the pi-calculus. Draft report; an earlier version was presented as an invited lecture at the Workshop on Type Theory and its Application to Computer Systems, Kyoto University, July 1993, July 1993. http://citeseer.ist.psu.edu/pierce93typed.html More
@inproceedings{ pierce93typed,
author = "Benjamin C. Pierce and Didier R\'emy and David N. Turner",
title = "A Typed Higher-Order Programming Language Based on the Pi-Calculus",
booktitle = "Workshop on Type Theory and its Application to Computer Systems, Kyoto University",
month = "July",
year = "1993",
url = "citeseer.ist.psu.edu/pierce93typed.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
248 Expressing Mobility (context) - Sangiorgi - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993 DBLP
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
137 Laboratory for Foundations of Computer Science (context) - Milner, for et al. - 1993
122 Multilisp: A language for concurrent symbolic computation (context) - Halstead - 1985
119 FACILE: A Symmetric Integration of Concurrent and Functional.. (context) - Giacalone, Mishra et al. - 1989
74 Safe type checking in a statically typed object-oriented pro.. (context) - Bruce - 1993
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992 ACM DBLP
40 CML: A higher-order concurrent language (context) - Reppy - 1991 DBLP
34 Prentice-Hall International (context) - Ltd, Manual - 1984
27 Principal typing schemes in a polyadic pi-calculus (context) - Vasconcelos, Honda - 1993 ACM DBLP
27 PFL: A functional language for parallel programming (context) - Holmstrom - 1983
27 Reference Manual for the Ada Programming Language (context) - Dept - 1980 ACM
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
18 History of Lisp - McCarthy - 1978
14 Department of Computer Science (context) - Ramsey, in et al. - 1990
11 Programming in the pi-calculus: An experiment in programming.. (context) - Pierce - 1993
5 University of Edinburgh (context) - Turner, thesis - 1993
2 Programming with behaviours in an ML framework (context) - Berthomieu - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.indiana.edu.html): More
Modeling Case-based Planning for Repairing Reasoning Failures - Fox, Leake (1995) (Correct)
Experience, Introspection, and Expertise: Learning to Refine the.. - Leake (Correct)
Transfer in a Connectionist Model of the Acquisition of Morphology - Gasser (1995) (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