The Design of Distributed Programming Languages
Materials for graduate lectures at
- Theory
mini-course, July 2006, University of Cambridge Computer
Laboratory.
-
Summer
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,
Bertinoro, Italy
Slides
Main References
-
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.
-
Global abstraction-safe
marshalling with hash types (also in pdf) James Leifer, Gilles Peskine, Peter
Sewell, Keith Wansbrough. In ICFP
2003.
-
Dynamic Rebinding for Marshalling and Update, with
Destruct-time lambda
(also in pdf) Gavin Bierman, Michael Hicks, Peter
Sewell, Gareth Stoyle, Keith Wansbrough. In ICFP 2003.
-
Modules, Abstract Types, and
Distributed
Versioning (also in pdf).
In POPL 2001.
- HashCaml, including:
Peter.Sewell@cl.cam.ac.uk
[Validate this page.]