Pict: A programming language based on the pi-calculus (1997)
Cached
Download Links
- [lamp.epfl.ch]
- [www.cis.upenn.edu]
- [ftp.cs.indiana.edu]
- [www.cs.indiana.edu]
- [www.cs.indiana.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER |
| Citations: | 238 - 8 self |
BibTeX
@INPROCEEDINGS{Pierce97pict:a,
author = {Benjamin C. Pierce and David N. Turner},
title = {Pict: A programming language based on the pi-calculus},
booktitle = {PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER},
year = {1997},
pages = {455--494},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The π-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the π-calculus, yielding strong, static typing for a high-level language using the π-calculus as its core. This paper describes Pict, a strongly-typed concurrent programming language constructed in terms of an explicitly-typed-calculus core language.
