Travelled to:1 × USA
2 × United Kingdom
Collaborated with:A.Gill A.Farmer H.Nilsson J.Bracker G.Giorgidze E.Komp J.Dawson A.Eskilson M.Grebe J.Rosenbluth R.Scott J.Stanton
Talks about:program (4) hermit (3) core (3) ghc (3) transform (2) languag (2) reason (2) monad (2) constrain (1) interact (1)
Person: Neil Sculthorpe
DBLP: Sculthorpe:Neil
Contributed to:
2013
20122009
20122015Wrote 6 papers:
- ICFP-2013-SculthorpeBGG #problem
- The constrained-monad problem (NS, JB, GG, AG), pp. 287–298.
- 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-2009-SculthorpeN #dependent type #functional #programming
- Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.
- 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.