Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe. The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 1-12, ACM, 2012. [doi]
@inproceedings{FarmerGKS12,
title = {The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs},
author = {Andrew Farmer and Andy Gill and Ed Komp and Neil Sculthorpe},
year = {2012},
doi = {10.1145/2364506.2364508},
url = {http://doi.acm.org/10.1145/2364506.2364508},
researchr = {https://researchr.org/publication/FarmerGKS12},
cites = {0},
citedby = {0},
pages = {1-12},
booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
editor = {Janis Voigtländer},
publisher = {ACM},
isbn = {978-1-4503-1574-6},
}