Will Kunkel

Identifiers

No identifiers captured yet.

Papers (1)

1. Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell) cs.PL · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• David Van Horn 1 shared papers
• Graham Hutton 1 shared papers
• Joachim Breitner 1 shared papers
• Niki Vazou 1 shared papers