Will Kunkel

According to our database, Will Kunkel authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell).

Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton

CoRR, 2018