Neil Mitchell

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 10

Top Venues

CoRR

Proc. ACM Program. Lang.

J. Funct. Program.

Commun. ACM

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

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
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. CoRR (2023)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Forward build systems, formally. CPP (2022)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Forward Build Systems, Formally. CoRR (2022)
Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE. IFL (2020)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
Build systems à la carte: Theory and practice. J. Funct. Program. 30 (2020)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build Scripts with Perfect Dependencies. CoRR (2020)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build scripts with perfect dependencies. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
Build systems à la carte. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
HOLCF-Prelude. Arch. Formal Proofs 2017 (2017)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow
Non-recursive make considered harmful: build systems at scale. Haskell (2016)
Neil Mitchell
Leaking space. Commun. ACM 56 (11) (2013)
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
Certified HLints with Isabelle/HOLCF-Prelude. CoRR (2013)
Neil Mitchell
Shake before building: replacing make with haskell. ICFP (2012)
Rodney McAdam, Neil Mitchell
The influences of critical incidents and lifecycle dynamics on innovation implementation constructs in SMEs: a longitudinal study. Int. J. Technol. Manag. 52 (1/2) (2010)
Neil Mitchell
Rethinking supercompilation. ICFP (2010)
Neil Mitchell
Deriving a Relationship from a Single Example. AAIP (2009)
Neil Mitchell, Colin Runciman
Losing functions without gaining data: another look at defunctionalisation. Haskell (2009)
Neil Mitchell, Colin Runciman
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. Haskell (2008)
Rodney McAdam, Neil Mitchell
Reconceptualising quality models to achieve innovation objectives. Int. J. Technol. Manag. 37 (1/2) (2007)
Neil Mitchell, Colin Runciman
A Supercompiler for Core Haskell. IFL (2007)
Neil Mitchell, Colin Runciman
Uniform boilerplate and list processing. Haskell (2007)
Neil Mitchell, Colin Runciman
A static checker for safe pattern matching in Haskell. Trends in Functional Programming (2005)

Neil Mitchell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neil Mitchell