Verification of Haskell programs using Liquid Haskell

Kolstad, Morten Aske
Master thesis
View/Open
The file is restricted (More info)
Year
2019
Permanent link
http://urn.nb.no/URN:NBN:no-76415

Metadata
Show metadata
Appears in the following Collection
Abstract
No abstract.