Brian Huffman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Brian Huffman: A Purely Definitional Universal Domain. TPHOLs 2009: 260-275

2005

1 Brian Huffman, John Matthews, Peter White: Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs 2005: 147-162

	2009
2		Brian Huffman: A Purely Definitional Universal Domain. TPHOLs 2009: 260-275
	2005
1		Brian Huffman, John Matthews, Peter White: Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs 2005: 147-162

Coauthor Index

1 John Matthews [1]

2 Peter White [1]