Neil Sculthorpe

ORCID

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 2

Top Venues

Haskell

J. Funct. Program.

J. Log. Algebraic Methods Program.

MODULARITY (Companion)

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe
Executable component-based semantics. J. Log. Algebraic Methods Program. 103 (2019)
L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses
Tool support for component-based semantics. MODULARITY (Companion) (2016)
Andrew Farmer, Neil Sculthorpe, Andy Gill
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. Haskell (2015)
Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
Reusable Components of Semantic Specifications. LNCS Trans. Aspect Oriented Softw. Dev. 12 (2015)
Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton
The remote monad design pattern. Haskell (2015)
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
A Modular Structural Operational Semantics for Delimited Continuations. WoC (2015)
Neil Sculthorpe, Nicolas Frisby, Andy Gill
The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. J. Funct. Program. 24 (4) (2014)
Neil Sculthorpe, Graham Hutton
Work it, wrap it, fix it, fold it. J. Funct. Program. 24 (1) (2014)
Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill
The constrained-monad problem. ICFP (2013)
Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. Haskell (2012)
Neil Sculthorpe, Andrew Farmer, Andy Gill
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. IFL (2012)
Neil Sculthorpe, Henrik Nilsson
Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change. High. Order Symb. Comput. 23 (2) (2010)
Neil Sculthorpe, Henrik Nilsson
Safe functional reactive programming through dependent types. ICFP (2009)
Neil Sculthorpe, Henrik Nilsson
Optimisation of Dynamic, Hybrid Signal Function Networks. Trends in Functional Programming (2008)

Neil Sculthorpe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neil Sculthorpe