A static checker for safe pattern matching in Haskell. - Neil Mitchell; Colin Runciman (Trends in Functional Programming, 2005)

Uniform boilerplate and list processing. - Neil Mitchell; Colin Runciman (Haskell, 2007)

A Supercompiler for Core Haskell. - Neil Mitchell; Colin Runciman (IFL, 2007)

Reconceptualising quality models to achieve innovation objectives. - Rodney McAdam; Neil Mitchell (Int. J. Technol. Manag., 2007)

Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. - Neil Mitchell; Colin Runciman (Haskell, 2008)

Transformation and analysis of functional programs. - Neil Mitchell (2008)

Deriving a Relationship from a Single Example. - Neil Mitchell (AAIP, 2009)

Losing functions without gaining data: another look at defunctionalisation. - Neil Mitchell; Colin Runciman (Haskell, 2009)

Rethinking supercompilation. - Neil Mitchell (ICFP, 2010)

The influences of critical incidents and lifecycle dynamics on innovation implementation constructs in SMEs: a longitudinal study. - Rodney McAdam; Neil Mitchell (Int. J. Technol. Manag., 2010)

Shake before building: replacing make with haskell. - Neil Mitchell (ICFP, 2012)

Leaking space. - Neil Mitchell (Commun. ACM, 2013)

Certified HLints with Isabelle/HOLCF-Prelude. - Joachim Breitner; Brian Huffman; Neil Mitchell; Christian Sternagel (CoRR, 2013)

Non-recursive make considered harmful: build systems at scale. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones; Simon Marlow (Haskell, 2016)

HOLCF-Prelude. - Joachim Breitner; Brian Huffman; Neil Mitchell; Christian Sternagel (Arch. Formal Proofs, 2017)

Build systems à la carte. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones (Proc. ACM Program. Lang., 2018)

Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE. - Neil Mitchell; Moritz Kiefer; Pepe Iborra; Luke Lau; Zubin Duggal; Hannes Siebenhandl; Javier Neira Sanchez; Matthew Pickering; Alan Zimmerman (IFL, 2020)

Build systems à la carte: Theory and practice. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones (J. Funct. Program., 2020)

Build scripts with perfect dependencies. - Sarah Spall; Neil Mitchell; Sam Tobin-Hochstadt (Proc. ACM Program. Lang., 2020)

Forward build systems, formally. - Sarah Spall; Neil Mitchell; Sam Tobin-Hochstadt (CPP, 2022)

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. - Alexander Bernauer; Sofia Faro; Rémy Haemmerle; Martin Huschenbett; Moritz Kiefer; Andreas Lochbihler; Jussi Mäki; Francesco Mazzoli; Simon Meier; Neil Mitchell; Ratko G. Veprek (CoRR, 2023)

Code Improvement Practices at Meta. - Audris Mockus; Peter C. Rigby; Rui Abreu 001; Anatoly Akkerman; Yogesh Bhootada; Payal Bhuptani; Gurnit Ghardhora; Lan Hoang Dao; Chris Hawley; Renzhi He; Sagar Krishnamoorthy; Sergei Krauze; et al. (CoRR, 2025)