Neil Mitchell

Identifiers

• name variant Neil Mitchell 0.60 · backfill

Papers (1)

1. Certified HLints with Isabelle/HOLCF-Prelude cs.LO · 2013 · author #3

Mentions

• 1306.1340 #3 · backfill · confidence 0.70 Neil Mitchell

Frequent Coauthors

• Brian Huffman 1 shared papers
• Christian Sternagel 1 shared papers
• Joachim Breitner 1 shared papers