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 has not been maintained for a while, please see DBLP, Google Scholar and Edinburgh Research Explorer for lists 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)