Neil Sculthorpe

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