HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler
MetadataShow full item record
Items in KU ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
We want to hear from you! Please share your stories about how Open Access to this item benefits YOU.