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

Registered user since Wed 6 Dec 2017

Name:William Kunkel

Contributions

2018

POPL

  • Author of Comparing Liquid Haskell and Coq: Evaluating the Great Expectations of “A Tale of Two Provers” within the Student Research Competition-track
Share
xSat 12 Jul 03:31
using conf.researchr.org (v1.69.1)
Support page
Sign Up