The HERMIT in the Machine: A Plugin for the Interactive Transformation of GHC Core Language Programs. (2012)

by A Farmer, A Gill, E Komp, N Sculthorpe
Venue:In Haskell Symposium (Haskell ’12),