BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × USA
1 × United Kingdom
Collaborated with:
A.Gill N.Sculthorpe M.D.Adams J.P.Magalhães C.H.z.Siederdissen E.Komp J.Dawson A.Eskilson M.Grebe J.Rosenbluth R.Scott J.Stanton
Talks about:
hermit (4) program (3) core (3) ghc (3) transform (2) languag (2) stream (2) reason (2) implement (1) corrector (1)

Person: Andrew Farmer

DBLP DBLP: Farmer:Andrew

Contributed to:

PEPM 20142014
IFL 20122012
ICFP 20112011
Haskell 20122012
Haskell 20152015

Wrote 7 papers:

PEPM-2014-AdamsFM #exclamation #optimisation #scrap your boilerplate
Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
The HERMIT in the stream: fusing stream fusion’s concatMap (AF, CHzS, AG), pp. 97–108.
IFL-2012-SculthorpeFG #haskell #program transformation
The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
ICFP-2011-GillF #fault #implementation #performance
Deriving an efficient FPGA implementation of a low density parity check forward error corrector (AG, AF), pp. 209–220.
Haskell-2012-FarmerGKS #haskell #interactive #plugin #source code
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs (AF, AG, EK, NS), pp. 1–12.
Haskell-2015-FarmerSG #equation #haskell #reasoning #source code #tool support
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs (AF, NS, AG), pp. 23–34.
Haskell-2015-GillSDEFGRSS #design pattern #monad
The remote monad design pattern (AG, NS, JD, AE, AF, MG, JR, RS, JS), pp. 59–70.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.