| The HERMIT in the machine: A plugin for the interactive transformation of GHC core language programs A Farmer, A Gill, E Komp, N Sculthorpe Proceedings of the 2012 Haskell Symposium, 1-12, 2012 | 43 | 2012 |
| The HERMIT in the tree: Mechanizing program transformations in the GHC core language N Sculthorpe, A Farmer, A Gill Implementation and Application of Functional Languages: 24th International …, 2013 | 38 | 2013 |
| Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs A Farmer, N Sculthorpe, A Gill ACM SIGPLAN Notices 50 (12), 23-34, 2015 | 27 | 2015 |
| The HERMIT in the stream: fusing stream fusion's concatMap A Farmer, C Hoener zu Siederdissen, A Gill Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014 | 26 | 2014 |
| Optimizing SYB is easy! MD Adams, A Farmer, JP Magalhães Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014 | 22 | 2014 |
| Types and type families for hardware simulation and synthesis: The internals and externals of Kansas Lava A Gill, T Bull, A Farmer, G Kimmell, E Komp Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011 | 15 | 2011 |
| The remote monad design pattern A Gill, N Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, ... ACM SIGPLAN Notices 50 (12), 59-70, 2015 | 12 | 2015 |
| HERMIT: mechanized reasoning during compilation in the Glasgow Haskell Compiler A Farmer University of Kansas, 2015 | 10 | 2015 |
| Deriving an efficient FPGA implementation of a low density parity check forward error corrector A Gill, A Farmer ACM SIGPLAN Notices 46 (9), 209-220, 2011 | 9 | 2011 |
| Using functional programming to generate an LDPC forward error corrector A Gill, T Bull, D DePardo, A Farmer, E Komp, E Perrins 2011 IEEE 19th Annual International Symposium on Field-Programmable Custom …, 2011 | 8 | 2011 |
| What’s the matter with Kansas Lava? A Farmer, G Kimmell, A Gill Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011 | 7 | 2011 |
| Types and associated type families for hardware simulation and synthesis: The internals and externals of Kansas Lava A Gill, T Bull, A Farmer, G Kimmell, E Komp Higher-Order and Symbolic Computation 25, 255-274, 2012 | 6 | 2012 |
| Optimizing SYB traversals is easy! MD Adams, A Farmer, JP Magalhães Science of Computer Programming 112, 170-193, 2015 | 5 | 2015 |
| Haskell DSLs for interactive web services A Farmer, A Gill Cross-model Language Design and Implementation, 2012 | 4 | 2012 |
| Komp, and Neil Schulthorpe. The HERMIT in the machine A Farmer, A Gill Proc. Haskell Symp, 1-12, 2012 | 3 | 2012 |
| Haskell Communities and Activities Report M Maruseac, AS Mena, A Abel, A Granin, H Apfelmus, D Austin, ... Viitattu, 2017 | 2 | 2017 |
| Making a Century in HERMIT N Sculthorpe, A Farmer, A Gill Haskell Symposium, 2015 | 1 | 2015 |
| How to Interact with a HERMIT A Gill, A Farmer, N Sculthorpe, A Howell, RF Blair, R Scott, PG Flor, ... | | 2013 |
| The HERMIT in the tree: Mechanizing program transformations in the GHC core language N Sculthorpe, A Farmer, A Gill Implementation and Application of Functional Languages: 24th International …, 2013 | | 2013 |
| Types and type families for hardware simulation and synthesis: The internals and externals of Kansas Lava A Gill, T Bull, A Farmer, G Kimmell, E Komp Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011 | | 2011 |
