The Design of Distributed Programming Languages
Materials for graduate lectures at
mini-course, July 2006, University of Cambridge Computer
School on Language-Based Techniques for Concurrent and Distributed
Software, University of Oregon, July 12-21, 2006
- First International Summer School on
Emerging Trends in Concurrency,
TiC'06, July 24-29, 2006,
Applied Pi - A Brief Tutorial (also in pdf). Technical
Report 498, Computer Laboratory, University of Cambridge 2000.
They are an extended
version of a chapter Pi Calculi in Formal Methods for Distributed
Programming, edited by H. Bowman and J. Derrick, CUP.
- Nomadic Pict, including
- Acute, including:
and the earlier papers
Acute: high-level programming language design for distributed computation
(also in pdf)
Peter Sewell, James J. Leifer, Keith Wansbrough,
Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis.
In ICFP 2005.
Acute: high-level programming language
design for distributed computation. Design rationale and language
definition (also in pdf).
Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-Williams,
Francesco Zappa Nardelli, Pierre Habouzit, Viktor Vafeiadis.
Technical report 605.
marshalling with hash types (also in pdf) James Leifer, Gilles Peskine, Peter
Sewell, Keith Wansbrough. In ICFP
Dynamic Rebinding for Marshalling and Update, with
(also in pdf) Gavin Bierman, Michael Hicks, Peter
Sewell, Gareth Stoyle, Keith Wansbrough. In ICFP 2003.
Modules, Abstract Types, and
Versioning (also in pdf).
In POPL 2001.
- HashCaml, including:
[Validate this page.]