Neil Mitchell

According to our database, Neil Mitchell authored at least 21 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

2022

Forward build systems, formally.

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2020

Build scripts with perfect dependencies.

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., 2020

Build systems à la carte: Theory and practice.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones

J. Funct. Program., 2020

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

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2018

Build systems à la carte.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones

Proc. ACM Program. Lang., 2018

2017

HOLCF-Prelude.

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel

Arch. Formal Proofs, 2017

2016

Non-recursive make considered harmful: build systems at scale.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow

Proceedings of the 9th International Symposium on Haskell, 2016

2013

Certified HLints with Isabelle/HOLCF-Prelude.

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel

CoRR, 2013

Leaking space.

Neil Mitchell

Commun. ACM, 2013

2012

Shake before building: replacing make with haskell.

Neil Mitchell

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

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

Rethinking supercompilation.

Neil Mitchell

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Losing functions without gaining data: another look at defunctionalisation.

Neil Mitchell, Colin Runciman

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Deriving a Relationship from a Single Example.

Neil Mitchell

Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008

Transformation and analysis of functional programs.

Neil Mitchell

PhD thesis, 2008

Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.

Neil Mitchell, Colin Runciman

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

Reconceptualising quality models to achieve innovation objectives.

Rodney McAdam, Neil Mitchell

Int. J. Technol. Manag., 2007

A Supercompiler for Core Haskell.

Neil Mitchell, Colin Runciman

Proceedings of the Implementation and Application of Functional Languages, 2007

Uniform boilerplate and list processing.

Neil Mitchell, Colin Runciman

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2005

A static checker for safe pattern matching in Haskell.

Neil Mitchell, Colin Runciman

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005