BibTeX
CSL-JSON
MLA
Harvard
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)
release_y3m367mjffflxcrj2bru2rk554
by
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Published
in Proceedings of the ACM on Programming Languages (PACMPL) by Association for Computing Machinery (ACM).
2018 Issue ICFP, p1-16
Archived Files and Locations
application/pdf 324.9 kB
file_gpbbt6q5o5ejlnvzxypydryaeq
|
delivery.acm.org (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar