| Uniform boilerplate and list processing N Mitchell, C Runciman Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 49-60, 2007 | 92 | 2007 |
| A supercompiler for core Haskell N Mitchell, C Runciman Symposium on Implementation and Application of Functional Languages, 147-164, 2007 | 53 | 2007 |
| Rethinking supercompilation N Mitchell ACM Sigplan Notices 45 (9), 309-320, 2010 | 50 | 2010 |
| Build systems ā la carte A Mokhov, N Mitchell, S Peyton Jones Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 47 | 2018 |
| Shake before building: replacing Make with Haskell N Mitchell ACM SIGPLAN Notices 47 (9), 55-66, 2012 | 34 | 2012 |
| Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching N Mitchell, C Runciman Proceedings of the first ACM SIGPLAN symposium on Haskell, 49-60, 2008 | 34 | 2008 |
| Hoogle overview N Mitchell The Monad. Reader 12, 27-35, 2008 | 33 | 2008 |
| Losing functions without gaining data: another look at defunctionalisation N Mitchell, C Runciman Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 13-24, 2009 | 28 | 2009 |
| A static checker for safe pattern matching in Haskell. N Mitchell, C Runciman Trends in functional programming 6, 15-30, 2005 | 24 | 2005 |
| Transformation and Analysis of Functional Programs N Mitchell University of York, 2008 | 23 | 2008 |
| Yhc. Core–from Haskell to Core D Golubovsky, N Mitchell, M Naylor The Monad. Reader 1 (7), 45-61, 2007 | 22 | 2007 |
| Non-recursive make considered harmful: build systems at scale A Mokhov, N Mitchell, S Peyton Jones, S Marlow ACM SIGPLAN Notices 51 (12), 170-181, 2016 | 20 | 2016 |
| Hoogle N Mitchell | 16 | 2004 |
| Build systems ā la carte: Theory and practice A Mokhov, N Mitchell, SP Jones Journal of Functional Programming 30, e11, 2020 | 14 | 2020 |
| Build scripts with perfect dependencies S Spall, N Mitchell, S Tobin-Hochstadt Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 13 | 2020 |
| Deriving generic functions by example N Mitchell Proc. York Doctoral Symposium, 55-62, 2007 | 12 | 2007 |
| Unfailing Haskell: A static checker for pattern matching N Mitchell, C Runciman Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP …, 2005 | 7 | 2005 |
| Leaking space N Mitchell Communications of the ACM 56 (11), 44-52, 2013 | 6 | 2013 |
| Certified HLints with Isabelle/HOLCF-Prelude J Breitner, B Huffman, N Mitchell, C Sternagel arXiv preprint arXiv:1306.1340, 2013 | 6 | 2013 |
| Daml: A smart contract language for securely automating real-world multi-party business workflows A Bernauer, S Faro, R Hämmerle, M Huschenbett, M Kiefer, A Lochbihler, ... arXiv preprint arXiv:2303.03749, 2023 | 5 | 2023 |
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
