Peter Sewell

Previous Projects, Papers, and Software

The POPLmark Challenge

Semantics for Network Protocols

Language Design: Modules, Versioning, Marshalling, Update (more details on the Acute and HashCaml pages)

Security

Language and Communication Infrastructure for Mobile Computing (more details on the Nomadic Pict page)

XML scripting

Models for Name-Passing

Applied Pi Tutorial

Operational Semantics

Locality Typing

Observational Semantics for Concurrent Languages

Hardware Modelling

Process Algebra

Some of the fonts used in the older papers are not supported at all sites - if there are printing difficulties, try the cmr versions.
[Validate this page.]