Brian Huffman is now working at Galois, Inc..
- Formal Verification of Monad Transformers.
International Conference on Functional Programming (ICFP'12), Copenhagen, Denmark, September, 2012. (to appear) The sources are available in the AFP.
- Proof Pearl: A New Foundation for Nominal Isabelle.
Brian Huffman and Christian Urban.
In Matt Kaufmann and Lawrence C. Paulson, editors, Interactive Theorem Proving - 1st International Conference (LNCS 6172), pages 35-50, Springer, 2010.
A Purely Definitional Universal Domain.
22nd International Conference on Theorem Proving in Higher Order Logics, Munich, Germany, August, 2009.
Axiomatic Constructor Classes in Isabelle/HOLCF.
Brian Huffman, John Matthews, and Peter White.
In Joe Hurd, Edward Smith, and Ashish Darbari, editors, Theorem Proving in Higher Order Logics - 18th International Conference, TPHOLs 2005, Oxford, UK, August 2005, Proceedings, pages 147-162, Oxford, UK, August 2005.
HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs.
PhD thesis, Portland State University, 2012.