Follow
Neil Mitchell
Neil Mitchell
Verified email at fb.com - Homepage
Title
Cited by
Cited by
Year
Uniform boilerplate and list processing
N Mitchell, C Runciman
Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 49-60, 2007
912007
A supercompiler for core Haskell
N Mitchell, C Runciman
Symposium on Implementation and Application of Functional Languages, 147-164, 2007
522007
Rethinking supercompilation
N Mitchell
ACM Sigplan Notices 45 (9), 309-320, 2010
492010
Build systems à la carte
A Mokhov, N Mitchell, S Peyton Jones
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018
402018
Shake before building: replacing Make with Haskell
N Mitchell
ACM SIGPLAN Notices 47 (9), 55-66, 2012
332012
Hoogle overview
N Mitchell
The Monad. Reader 12, 27-35, 2008
322008
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
312008
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
272009
Transformation and Analysis of Functional Programs
N Mitchell
University of York, 2008
232008
Yhc. Core–from Haskell to Core
D Golubovsky, N Mitchell, M Naylor
The Monad. Reader 1 (7), 45-61, 2007
222007
A static checker for safe pattern matching in Haskell.
N Mitchell, C Runciman
Trends in functional programming 6, 15-30, 2005
222005
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
192016
Build systems à la carte: Theory and practice
A Mokhov, N Mitchell, SP Jones
Journal of Functional Programming 30, e11, 2020
132020
Deriving generic functions by example
N Mitchell
Proc. York Doctoral Symposium, 55-62, 2007
122007
Hoogle
N Mitchell
122004
Build scripts with perfect dependencies
S Spall, N Mitchell, S Tobin-Hochstadt
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
82020
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
72005
Leaking space
N Mitchell
Communications of the ACM 56 (11), 44-52, 2013
62013
Certified HLints with Isabelle/HOLCF-Prelude
J Breitner, B Huffman, N Mitchell, C Sternagel
arXiv preprint arXiv:1306.1340, 2013
62013
Leaking Space: Eliminating memory hogs
N Mitchell
Queue 11 (9), 10-23, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20