BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × USA
Collaborated with:
C.Runciman ∅ A.Mokhov S.P.Jones S.Marlow
Talks about:
supercompil (2) pattern (2) haskel (2) build (2) make (2) but (2) defunctionalis (1) function (1) boilerpl (1) without (1)

Person: Neil Mitchell

DBLP DBLP: Mitchell:Neil

Contributed to:

ICFP 20122012
ICFP 20102010
IFL 20072007
Haskell 20072007
Haskell 20082008
Haskell 20092009
Haskell 20162016

Wrote 7 papers:

ICFP-2012-Mitchell #haskell
Shake before building: replacing make with haskell (NM), pp. 55–66.
ICFP-2010-Mitchell #supercompilation
Rethinking supercompilation (NM), pp. 309–320.
IFL-2007-MitchellR #haskell
A Supercompiler for Core Haskell (NM, CR), pp. 147–164.
Haskell-2007-MitchellR
Uniform boilerplate and list processing (NM, CR), pp. 49–60.
Haskell-2008-MitchellR #automation #pattern matching #verification
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching (NM, CR), pp. 49–60.
Haskell-2009-MitchellR
Losing functions without gaining data: another look at defunctionalisation (NM, CR), pp. 13–24.
Haskell-2016-MokhovMJM #harmful #recursion #scalability
Non-recursive make considered harmful: build systems at scale (AM, NM, SPJ, SM), pp. 170–181.
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.