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
382012
The HERMIT in the Tree
N Sculthorpe, A Farmer, A Gill
Symposium on Implementation and Application of Functional Languages, 86-103, 2012
342012
The HERMIT in the Tree
N Sculthorpe, A Farmer, A Gill
Symposium on Implementation and Application of Functional Languages, 86-103, 2012
342012
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
232014
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
192015
Optimizing SYB is easy!
MD Adams, A Farmer, JP Magalh„es
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and†…, 2014
182014
Types and type families for hardware simulation and synthesis
A Gill, T Bull, A Farmer, G Kimmell, E Komp
International Symposium on Trends in Functional Programming, 118-133, 2010
122010
Types and type families for hardware simulation and synthesis
A Gill, T Bull, A Farmer, G Kimmell, E Komp
International Symposium on Trends in Functional Programming, 118-133, 2010
122010
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
112015
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
82011
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
HERMIT: mechanized reasoning during compilation in the Glasgow Haskell Compiler
A Farmer
University of Kansas, 2015
72015
Types and associated type families for hardware simulation and synthesis
A Gill, T Bull, A Farmer, G Kimmell, E Komp
Higher-Order and Symbolic Computation 25 (2), 255-274, 2012
72012
What’s the matter with Kansas Lava?
A Farmer, G Kimmell, A Gill
International Symposium on Trends in Functional Programming, 102-117, 2010
52010
Optimizing SYB traversals is easy!
MD Adams, A Farmer, JP Magalh„es
Science of Computer Programming 112, 170-193, 2015
42015
Haskell DSLs for interactive web services
A Farmer, A Gill
42012
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 Remote Monad Design Pattern
AGN Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, J Rosenbluth, ...
The system can't perform the operation now. Try again later.
Articles 1–20