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 × 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 DBLP: Sculthorpe:Neil

Contributed to:

ICFP 20132013
IFL 20122012
ICFP 20092009
Haskell 20122012
Haskell 20152015

Wrote 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.

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.