• Sign in
  • Sign up
conf.researchr.org / William Kunkel
  • POPL 2018 profile

Registered user since Wed 6 Dec 2017

Name:William Kunkel

Contributions

POPL 2018 Author of Comparing Liquid Haskell and Coq: Evaluating the Great Expectations of “A Tale of Two Provers” within the Student Research Competition-track

Share
xTue 30 May 20:54
using conf.researchr.org (v1.60.0)
Support page
Sign Up