Conference Paper/Proceeding/Abstract 588 views
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs
Andrew Farmer,
Neil Sculthorpe 
,
Andy Gill
,
Andy Gill
Haskell Symposium, Pages: 23 - 34
Swansea University Author:
Neil Sculthorpe
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1145/2804302.2804303
Abstract
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs
| Published in: | Haskell Symposium |
|---|---|
| Published: |
ACM
2015
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa22987 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
23 |
| End Page: |
34 |