Optimisation of Dynamic, Hybrid Signal Function Networks. - Neil Sculthorpe; Henrik Nilsson (Trends in Functional Programming, 2008)

Safe functional reactive programming through dependent types. - Neil Sculthorpe; Henrik Nilsson (ICFP, 2009)

Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change. - Neil Sculthorpe; Henrik Nilsson (High. Order Symb. Comput., 2010)

Towards safe and efficient functional reactive programming. - Neil Sculthorpe (2011)

The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. - Andrew Farmer; Andy Gill; Ed Komp; Neil Sculthorpe (Haskell, 2012)

The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. - Neil Sculthorpe; Andrew Farmer; Andy Gill (IFL, 2012)

The constrained-monad problem. - Neil Sculthorpe; Jan Bracker; George Giorgidze; Andy Gill (ICFP, 2013)

The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. - Neil Sculthorpe; Nicolas Frisby; Andy Gill (J. Funct. Program., 2014)

Work it, wrap it, fix it, fold it. - Neil Sculthorpe; Graham Hutton (J. Funct. Program., 2014)

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. - Andrew Farmer; Neil Sculthorpe; Andy Gill (Haskell, 2015)

The remote monad design pattern. - Andy Gill; Neil Sculthorpe; Justin Dawson; Aleksander Eskilson; Andrew Farmer; Mark Grebe; Jeffrey Rosenbluth; Ryan Scott; James Stanton (Haskell, 2015)

A Modular Structural Operational Semantics for Delimited Continuations. - Neil Sculthorpe; Paolo Torrini; Peter D. Mosses (WoC, 2015)

Reusable Components of Semantic Specifications. - Martin Churchill; Peter D. Mosses; Neil Sculthorpe; Paolo Torrini (LNCS Trans. Aspect Oriented Softw. Dev., 2015)

Tool support for component-based semantics. - L. Thomas van Binsbergen; Neil Sculthorpe; Peter D. Mosses (MODULARITY (Companion), 2016)

Executable component-based semantics. - L. Thomas van Binsbergen; Peter D. Mosses; Neil Sculthorpe (J. Log. Algebraic Methods Program., 2019)