Neil Sculthorpe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2009–2015
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | HASKELL | Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. | Andrew Farmer, Neil Sculthorpe, Andy Gill |
| 2015 | HASKELL | The remote monad design pattern. | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
| 2013 | ICFP | The constrained-monad problem. | Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill |
| 2012 | HASKELL | The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. | Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
| 2009 | ICFP | Safe functional reactive programming through dependent types. | Neil Sculthorpe, Henrik Nilsson |