Neil Mitchell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2007–2022
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | Forward build systems, formally. | Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt |
| 2016 | HASKELL | Non-recursive make considered harmful: build systems at scale. | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
| 2012 | ICFP | Shake before building: replacing make with haskell. | Neil Mitchell |
| 2010 | ICFP | Rethinking supercompilation. | Neil Mitchell |
| 2009 | HASKELL | Losing functions without gaining data: another look at defunctionalisation. | Neil Mitchell, Colin Runciman |
| 2008 | HASKELL | Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. | Neil Mitchell, Colin Runciman |
| 2007 | HASKELL | Uniform boilerplate and list processing. | Neil Mitchell, Colin Runciman |