No Cover Image

Conference Paper/Proceeding/Abstract 138 views

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

Andrew Farmer, Neil Sculthorpe Orcid Logo, Andy Gill

Haskell Symposium, Pages: 23 - 34

Swansea University Author: Neil Sculthorpe Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1145/2804302.2804303

Published in: Haskell Symposium
Published: ACM 2015
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 23
End Page: 34