David Aspinall's Miscellaneous Documents

• David Aspinall.
  Type Systems for Modular Programming and Specification.
  PhD thesis, Edinburgh, 1997.
• David Aspinall.
  Isamode --- Theorem Proving with Isabelle inside Emacs.
  Published as Informatics Research Report EDI-INF-RR-0020 .
  See also the Isamode home page.
• David Aspinall.
  Isabelle Modules: A New Theory Mechanism for the Theorem Prover Isabelle. Undergraduate project dissertation, University of Cambridge, 1991.
  Available on request.