David Aspinall's Publications

Please click on a paper title for a short abstract. Comments and questions about my work are always welcome, please email me at the address below.

(NB: this list is out of date; I am in progress of updating to a new web site; meanwhile DBLP has a pretty complete list of my work)

Proof and PCC
Proof Environments

Proof and Proof-carrying code

Proof development environments

Type systems

Algebraic specification

A complete list of my publications is available on request.

my Vcard
David R. Aspinall, email david.aspinall@ed.ac.uk.
Contact GPG key (Instant HOWTO)