Toggle navigation
Sign in
Sign up
conf.researchr.org
/
William Kunkel
conf.researchr.org general profile
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
x
Mon 3 Nov 01:41