Benjamin Pierce's Papers and Software
General
My BibTeX
database includes full citations for all of the following
papers (plus a pretty large collection of other papers in related
areas).
Synchronization
File Synchronization
Data Synchronization
The Harmony universal
data synchronizer.
A Language for Bi-Directional Tree
Transformations, by Michael B. Greenwald, Jonathan
T. Moore, Benjamin C. Pierce, and Alan Schmitt. 2003. (Long version), by Benjamin C. Pierce and Alan
Schmitt. 2003. (Draft.)
Concurrent and Distributed Systems
Mobile Agents
The Pict programming
language. Benjamin C. Pierce, and David N. Turner. This
directory contains various papers, including a tutorial and user's
manual, as well as complete compiler sources and installation
instructions. (Be sure not to miss the.)
Pict: A Programming Language Based on the
Pi-Calculus, Benjamin C. Pierce and David N. Turner.
Foundational Calculi for Programming
Languages, Benjamin Pierce.
Decoding Choice Encodings, Uwe Nestmann
and Benjamin C. Pierce.
Behavioral Equivalence in the Polymorphic
Pi-Calculus, Benjamin C. Pierce and Davide Sangiorgi.
Linearity and the Pi-Calculus, Naoki
Kobayashi and Benjamin C. Pierce and David N. Turner.
Typing
and Subtyping for Mobile Processes, Benjamin Pierce and
Davide Sangiorgi.
Concurrent Objects in a Process Calculus,
Benjamin C. Pierce and David N. Turner.
XML and
Databases
Semi-Structured Databases
Types
Featherweight Java: A Core Calculus for Java and
GJ, Atsushi Igarashi, Benjamin Pierce, and Philip Wadler.
On Inner
ClassesAtsushi Igarashi and Benjamin C. Pierce.
A
Recipe for Raw Types, Atsushi Igarashi and Benjamin Pierce
and Philip Wadler.
Foundations for Virtual Types. Atsushi
Igarashi and Benjamin C. Pierce.
Type
Destructors. Martin Hofmann and Benjamin C. Pierce.
Book
review: A Theory of Objects by Martin Abadi and Luca
Cardelli. (Computer Journal, 1997.)
Comparing Object Encodings. Kim C.
Bruce, Luca Cardelli, and Benjamin C. Pierce.
On
Binary Methods. Kim Bruce, Luca Cardelli, Giuseppe Castgna,
the Hopkins Objects Group, Gary T. Leavens, and Benjamin
Pierce.
Positive
Subtyping. Martin Hofmann and Benjamin Pierce.
Simple
Type-Theoretic Foundations for Object-Oriented Programming,
Benjamin C. Pierce and David N. Turner.
A
Unifying Type-Theoretic Framework for Objects. Martin
Hofmann and Benjamin Pierce.
Statically Typed Friendly Functions via
Partially Abstract Types, Benjamin Pierce and David N.
Turner.
Mutable Objects. Benjamin C.
Pierce.
A
Model of Delegation Based on Existential Types. Benjamin C.
Pierce.
Grab Bag
uuinsert.el, support for uu-encoding and
uu-decoding of files and directories into text buffers.
reportmail.el, a mail-reporting package
for emacs.ssss Summarizes headers of incoming mail in the
minibuffer and modeline.
spread.el: A simple emacs spreadsheet.
Woggles from Oz: Writing Interactive
Fiction. Benjamin C. Pierce.
Old Stuff