Login / Signup
Joshua Cohen
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Small Number
Knowledge Representation
Source Code
Computer Vision
Top Venues
J. Funct. Program.
</>
Publications
</>
Joachim Breitner
,
Antal Spector-Zabusky
,
Yao Li
,
Christine Rizkallah
,
John Wiegley
,
Joshua Cohen
,
Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
J. Funct. Program.
31 (2021)