Executable Component-Based Semantics. L. Thomas van Binsbergen, Peter D. Mosses and Neil Sculthorpe. Journal of Logical and Algebraic Methods in Programming, volume 103, pages 184–212. Elsevier, 2019.
This PDF is the author's version of the work. The final publication is available at Elsevier.
Tool Support for Component-Based Semantics. L. Thomas van Binsbergen, Neil Sculthorpe and Peter D. Mosses. Companion Proceedings of the 15th International Conference on Modularity, pages 8–11. ACM, 2016.
This PDF is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in the Companion Proceedings of Modularity 2016, and is available in the ACM Digital Library.
Using Typings as Types. Casper Bach Poulsen, and Peter D. Mosses and Neil Sculthorpe. Proceedings of the 27th Nordic Workshop on Programming Theory, pages 90–93. Reykjavík University, Technical Report RUTR-SCS16001, 2016.
A Modular Structural Operational Semantics for Delimited Continuations. Neil Sculthorpe, Paolo Torrini and Peter D. Mosses. Post-proceedings of the 2015 Workshop on Continuations, pages 63–80. Volume 212 of Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, 2016.
abstract pdf bib test-suite presentation
This PDF is the author's corrected version of the work. The definitive version was published in EPTCS, and is available from arXiv.org.
Reusable Components of Semantic Specifications. Martin Churchill, Peter D. Mosses, Neil Sculthorpe and Paolo Torrini. Transactions on Aspect-Oriented Software Development XII, pages 132–179. Volume 8989 of Lecture Notes in Computer Science. Springer, 2015.
abstract pdf bib Caml-Light-case-study
This PDF is the author's version of the work. The final publication is available at Springer.
Note that this article supersedes a paper of the same name that appeared in the proceedings of Modularity'14.
The Remote Monad Design Pattern. Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott and James Stanton. Proceedings of the Haskell Symposium, pages 59–70. Volume 50(12) of ACM SIGPLAN Notices. ACM, 2015.
abstract pdf bib blank-canvas-package
This PDF is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in Haskell 2015, and is available in the ACM Digital Library.
Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs. Andrew Farmer, Neil Sculthorpe and Andy Gill. Proceedings of the Haskell Symposium, pages 23–34. Volume 50(12) of ACM SIGPLAN Notices. ACM, 2015.
abstract pdf bib case studies hermit-package
This PDF is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in Haskell 2015, and is available in the ACM Digital Library.
Note that this paper supersedes "Making a Century in HERMIT", which appeared in the pre-proceedings of IFL'14.
The Kansas University Rewrite Engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. Neil Sculthorpe, Nicolas Frisby and Andy Gill. Journal of Functional Programming, volume 24(4), pages 434–473. Cambridge University Press, 2014.
abstract pdf bib kure-package hermit-package comparison-code
This PDF is the author's version of the work. The definitive version was published in the Journal of Functional Programming.
Work It, Wrap It, Fix It, Fold It. Neil Sculthorpe and Graham Hutton. Journal of Functional Programming, volume 24(1), pages 113–127. Cambridge University Press, 2014.
abstract pdf pdf-extended bib code
This PDF is the author's version of the work. The definitive version was published in the Journal of Functional Programming.
The Constrained-Monad Problem. Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill. Proceedings of the 18th International Conference on Functional Programming, pages 287–298. Volume 48(9) of ACM SIGPLAN Notices. ACM, 2013.
abstract pdf bib code constrained-normal–package set-monad–package presentation
This PDF is the author's corrected version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in ICFP 2013, and is available in the ACM Digital Library.
The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language. Neil Sculthorpe, Andrew Farmer and Andy Gill. Revised Selected Papers from the 24th Symposium on Implementation and Application of Functional Languages, pages 86–103. Volume 8241 of Lecture Notes in Computer Science. Springer, 2013.
abstract pdf pdf-extended bib code hermit-package presentation
This PDF is the author's version of the work. The final publication is available at Springer.
The HERMIT in the Machine: A Plugin for the Interactive Transformation of GHC Core Language Programs. Andrew Farmer, Andy Gill, Ed Komp and Neil Sculthorpe. Proceedings of the Haskell Symposium, pages 1–12. Volume 47(12) of ACM SIGPLAN Notices. ACM, 2012.
abstract pdf bib code hermit-package presentation
This PDF is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in Haskell 2012, and is available in the ACM Digital Library.
Towards Safe and Efficient Functional Reactive Programming. Neil Sculthorpe. PhD thesis, University of Nottingham, July 2011.
This PDF is the author's version of the work. The published version is available here.
Keeping Calm in the Face of Change: Towards Optimisation of FRP by Reasoning about Change. Neil Sculthorpe and Henrik Nilsson. Journal of Higher-Order and Symbolic Computation, volume 23(2), pages 227–271. Springer, 2010.
This PDF is the author's version of the work. The final publication is available at Springer.
Note that the contents of this article have been superseded by an improved version in my thesis (see above).
Safe Functional Reactive Programming through Dependent Types. Neil Sculthorpe and Henrik Nilsson. Proceedings of the 14th International Conference on Functional Programming, pages 23–34. Volume 44(9) of ACM SIGPLAN Notices. ACM, 2009.
abstract pdf bib code presentation
This PDF is the author's corrected version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in ICFP 2009, and is available in the ACM Digital Library.
Note that the contents of this paper have been superseded by an improved version in my thesis (see above).
Optimisation of Dynamic, Hybrid Signal Function Networks. Neil Sculthorpe and Henrik Nilsson. Post-proceedings of the Ninth Symposium on Trends in Functional Programming, pages 97–112. Intellect, 2009.
Note that the contents of this paper have been superseded by an improved version in my thesis (see above).
Last updated 21st March 2023.