Neil Sculthorpe

According to our database, Neil Sculthorpe authored at least 15 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Executable component-based semantics.

L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe

J. Log. Algebraic Methods Program., 2019

2016

Tool support for component-based semantics.

L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Reusable Components of Semantic Specifications.

Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini

LNCS Trans. Aspect Oriented Softw. Dev., 2015

A Modular Structural Operational Semantics for Delimited Continuations.

Neil Sculthorpe, Paolo Torrini, Peter D. Mosses

Proceedings of the Workshop on Continuations, 2015

The remote monad design pattern.

Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs.

Andrew Farmer, Neil Sculthorpe, Andy Gill

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Work it, wrap it, fix it, fold it.

Neil Sculthorpe, Graham Hutton

J. Funct. Program., 2014

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

2013

The constrained-monad problem.

Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language.

Neil Sculthorpe, Andrew Farmer, Andy Gill

Proceedings of the Implementation and Application of Functional Languages, 2012

The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs.

Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Towards safe and efficient functional reactive programming.

Neil Sculthorpe

PhD thesis, 2011

2010

Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change.

Neil Sculthorpe, Henrik Nilsson

High. Order Symb. Comput., 2010

2009

Safe functional reactive programming through dependent types.

Neil Sculthorpe, Henrik Nilsson

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Optimisation of Dynamic, Hybrid Signal Function Networks.

Neil Sculthorpe, Henrik Nilsson

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008