Brian Huffman

Identifiers

• name variant Brian Huffman 0.60 · backfill

Papers (2)

1. Certified HLints with Isabelle/HOLCF-Prelude cs.LO · 2013 · author #2
2. Formal Verification of Monad Transformers cs.LO · 2012 · author #1

Mentions

• 1306.1340 #2 · backfill · confidence 0.70 Brian Huffman
• 1207.3208 #1 · backfill · confidence 0.70 Brian Huffman

Frequent Coauthors

• Christian Sternagel 1 shared papers
• Joachim Breitner 1 shared papers
• Neil Mitchell 1 shared papers