Follow
Andrew Farmer
Title
Cited by
Cited by
Year
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
432012
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
382013
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
262015
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
262014
Optimizing SYB is easy!
MD Adams, A Farmer, JP Magalh„es
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and†…, 2014
222014
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
152011
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
122015
HERMIT: mechanized reasoning during compilation in the Glasgow Haskell Compiler
A Farmer
University of Kansas, 2015
102015
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
92011
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
82011
What’s the matter with Kansas Lava?
A Farmer, G Kimmell, A Gill
Trends in Functional Programming: 11th International Symposium, TFP 2010†…, 2011
72011
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
62012
Optimizing SYB traversals is easy!
MD Adams, A Farmer, JP Magalh„es
Science of Computer Programming 112, 170-193, 2015
52015
Haskell DSLs for interactive web services
A Farmer, A Gill
Cross-model Language Design and Implementation, 2012
42012
Komp, and Neil Schulthorpe. The HERMIT in the machine
A Farmer, A Gill
Proc. Haskell Symp, 1-12, 2012
32012
Haskell Communities and Activities Report
M Maruseac, AS Mena, A Abel, A Granin, H Apfelmus, D Austin, ...
Viitattu, 2017
22017
Making a Century in HERMIT
N Sculthorpe, A Farmer, A Gill
Haskell Symposium, 2015
12015
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
The system can't perform the operation now. Try again later.
Articles 1–20