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: Farmer:Andrew
Contributed to:
Wrote 7 papers:
- PEPM-2014-AdamsFM #exclamation #optimisation #scrap your boilerplate
- Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
- PEPM-2014-FarmerSG
- 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.