Uniform boilerplate and list processing N Mitchell, C Runciman Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 49-60, 2007 | 91 | 2007 |
A supercompiler for core Haskell N Mitchell, C Runciman Symposium on Implementation and Application of Functional Languages, 147-164, 2007 | 52 | 2007 |
Rethinking supercompilation N Mitchell ACM Sigplan Notices 45 (9), 309-320, 2010 | 49 | 2010 |
Build systems à la carte A Mokhov, N Mitchell, S Peyton Jones Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018 | 43 | 2018 |
Shake before building: replacing Make with Haskell N Mitchell ACM SIGPLAN Notices 47 (9), 55-66, 2012 | 33 | 2012 |
Hoogle overview N Mitchell The Monad. Reader 12, 27-35, 2008 | 33 | 2008 |
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 | 31 | 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 | 27 | 2009 |
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 |
A static checker for safe pattern matching in Haskell. N Mitchell, C Runciman Trends in functional programming 6, 15-30, 2005 | 22 | 2005 |
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 | 19 | 2016 |
Hoogle N Mitchell | 14 | 2004 |
Build systems à la carte: Theory and practice A Mokhov, N Mitchell, SP Jones Journal of Functional Programming 30, e11, 2020 | 13 | 2020 |
Deriving generic functions by example N Mitchell Proc. York Doctoral Symposium, 55-62, 2007 | 12 | 2007 |
Build scripts with perfect dependencies S Spall, N Mitchell, S Tobin-Hochstadt Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 9 | 2020 |
Unfailing Haskell: A static checker for pattern matching N Mitchell, C Runciman TFP’05: The 6th Symposium on Trends in Functional Programming, 313-328, 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 |
Leaking Space: Eliminating memory hogs N Mitchell Queue 11 (9), 10-23, 2013 | 4 | 2013 |