William Blum's website

Publications

Conferences

Journals

Theses

  • D.Phil. Thesis: The Safe Lambda Calculus 2009, Oxford University Research Archive Download thesis (pdf), Download Erratum (pdf)

  • DPhil transfer thesis: The Safe Lambda Calculus Technical report, submitted August 2006. Slides (pdf) | Bibtex

  • Master's Thesis: Termination analysis of lambda calculus and a subset of core ML 2004. Download (pdf) | Sources (Objective Caml) | Bibtex