Neil Mitchell - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2022

Forward build systems, formallySarah Spall, Neil Mitchell, Sam Tobin-Hochstadt. CPP 2022: 130-142 [doi]

2020

2018

Build systems à la carteAndrey Mokhov, Neil Mitchell, Simon L. Peyton Jones. PACMPL, 2(ICFP), 7 2018. [doi]

2017

HOLCF-PreludeJoachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel. afp, 2017, 2017. [doi]

2016

Non-recursive make considered harmful: build systems at scaleAndrey Mokhov, Neil Mitchell, Simon L. Peyton Jones, Simon Marlow. haskell 2016: 170-181 [doi]

2013

Leaking spaceNeil Mitchell. CACM, 56(11):44-52, 2013. [doi]

2012

Shake before building: replacing make with haskellNeil Mitchell. ICFP 2012: 55-66 [doi]

2010

The influences of critical incidents and lifecycle dynamics on innovation implementation constructs in SMEs: a longitudinal studyRodney McAdam, Neil Mitchell. ijtm, 52(1/2):189-212, 2010. [doi]

Rethinking supercompilationNeil Mitchell. ICFP 2010: 309-320 [doi]

2009

Losing functions without gaining data: another look at defunctionalisationNeil Mitchell, Colin Runciman. haskell 2009: 13-24 [doi]

Deriving a Relationship from a Single ExampleNeil Mitchell. AAIP 2010: 1-24 [doi]

2008

Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matchingNeil Mitchell, Colin Runciman. haskell 2008: 49-60 [doi]

Transformation and analysis of functional programsNeil Mitchell. PhD thesis, University of York, UK, 2008. [doi]

2007

Reconceptualising quality models to achieve innovation objectivesRodney McAdam, Neil Mitchell. ijtm, 37(1/2):13-28, 2007. [doi]

A Supercompiler for Core HaskellNeil Mitchell, Colin Runciman. IFL 2008: 147-164 [doi]

Uniform boilerplate and list processingNeil Mitchell, Colin Runciman. haskell 2007: 49-60 [doi]

2005

A static checker for safe pattern matching in HaskellNeil Mitchell, Colin Runciman. sfp 2007: 15-30

Sign in or sign up to see more results.

runs on WebDSL