Benjamin Pierce's Papers and Software



General

Bibliography

Talks


Synchronization

File Synchronization

Data Synchronization


Concurrent and Distributed Systems

Mobile Agents

Pi-Calculus and Pict


XML and Databases

XDuce and Xtatic

Semi-Structured Databases


Types

Types and Security

Modular Type Systems

Type Inference

Object-Oriented Programming

Subtyping

Intersection and Union Types

Extensible Records

Dynamic Types

Semantics


Grab Bag

Emacs Hacks

Tex Hacks

Random Hacks

Interactive Fiction


Old Stuff