Folgen
Andrew Farmer
Titel
Zitiert von
Zitiert von
Jahr
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
442012
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
372013
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
132015
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
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
72012
What’s the matter with Kansas Lava?
A Farmer, G Kimmell, A Gill
Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011
72011
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20