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
Type  article-journal
Stage   published
Date   2018-07-30
Language   en ?
Proceedings Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  2475-1421
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f41c2c91-a672-4a98-b0f0-70a1057344c0
API URL: JSON