John Wiegley

Identifiers

No identifiers captured yet.

Papers (1)

1. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code cs.PL · 2018 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Antal Spector-Zabusky 1 shared papers
• Christine Rizkallah 1 shared papers
• Joachim Breitner 1 shared papers
• Stephanie Weirich 1 shared papers
• Yao Li 1 shared papers