Brian Huffman

http://web.cecs.pdx.edu/~brianh/

2017

HOLCF-Prelude
by Joachim Breitner, Brian Huffman, Neil Mitchell and Christian Sternagel

15 Jul

2012

Type Constructor Classes and Monad Transformers
by Brian Huffman

26 Jun

2010

Free Boolean Algebra
by Brian Huffman

29 Mar

2009

Stream Fusion
by Brian Huffman

29 Apr

2005

Countable Ordinals
by Brian Huffman

11 Nov