Cited By
View all- Handley MHutton G(2019)Improving HaskellTrends in Functional Programming10.1007/978-3-030-18506-0_6(114-135)Online publication date: 24-Apr-2019
- Farmer ASculthorpe NGill A(2015)Reasoning with the HERMIT: tool support for equational reasoning on GHC core programsACM SIGPLAN Notices10.1145/2887747.280430350:12(23-34)Online publication date: 30-Aug-2015
- Farmer ASculthorpe NGill ALippmeier B(2015)Reasoning with the HERMIT: tool support for equational reasoning on GHC core programsProceedings of the 2015 ACM SIGPLAN Symposium on Haskell10.1145/2804302.2804303(23-34)Online publication date: 30-Aug-2015
- Show More Cited By