William Blum's website

Publications

Conference papers and talks

Journal papers

Work, presentations

  • The Safe Lambda Calculus FOCS group lunchtime meeting. Slides (pdf)

  • The Safe Lambda Calculus BCTCS 2007. Slides (pdf)

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

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

DPhil thesis