Follow
Neil Sculthorpe
Title
Cited by
Cited by
Year
Reusable Components of Semantic Specifications
M Churchill, PD Mosses, N Sculthorpe, P Torrini
Transactions on Aspect-Oriented Software Development 12, 132 - 179, 2015
602015
Safe Functional Reactive Programming through Dependent Types
N Sculthorpe, H Nilsson
International Conference on Functional Programming, 23-34, 2009
462009
The HERMIT in the Machine: A Plugin for the Interactive Transformation of GHC Core Language Programs
A Farmer, A Gill, E Komp, N Sculthorpe
Haskell Symposium, 1-12, 2012
442012
The Constrained-Monad Problem
N Sculthorpe, J Bracker, G Giorgidze, A Gill
International Conference on Functional Programming, 287-298, 2013
412013
The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language
N Sculthorpe, A Farmer, A Gill
Implementation and Application of Functional Languages 2012, 86-103, 2013
372013
Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs
A Farmer, N Sculthorpe, A Gill
Haskell Symposium, 23-34, 2015
262015
Towards Safe and Efficient Functional Reactive Programming
N Sculthorpe
University of Nottingham, 2011
252011
Tool Support for Component-Based Semantics
LT van Binsbergen, N Sculthorpe, PD Mosses
Companion Proceedings of the 15th International Conference on Modularity, 8-11, 2016
222016
The Kansas University Rewrite Engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes
N Sculthorpe, N Frisby, A Gill
Journal of Functional Programming 24 (4), 434-473, 2014
20*2014
Executable Component-Based Semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019
192019
Keeping Calm in the Face of Change: Towards Optimisation of FRP by Reasoning about Change
N Sculthorpe, H Nilsson
Higher-Order and Symbolic Computation 23 (2), 227-271, 2010
192010
Work It, Wrap It, Fix It, Fold It
N Sculthorpe, G Hutton
Journal of Functional Programming 24 (1), 113-127, 2014
162014
The Remote Monad Design Pattern
A Gill, N Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, ...
Haskell Symposium, 59-70, 2015
132015
A Modular Structural Operational Semantics for Delimited Continuations
N Sculthorpe, P Torrini, PD Mosses
Proceedings of the 2015 Workshop on Continuations 212, 63-80, 2016
112016
Optimisation of Dynamic, Hybrid Signal Function Networks
N Sculthorpe, H Nilsson
Trends in Functional Programming 2008, 97-112, 2009
92009
Tool support for component-based semantics
N Sculthorpe, P Mosses
ACM, 2016
2016
Using Typings as Types
C Bach Poulsen, PD Mosses, N Sculthorpe
Proceedings of the 27th Nordic Workshop on Programming Theory, 90-93, 2016
2016
An Intermediate Language for Efficient Interpretation of Implicitly Modular Structural Operational Semantics
LT van Binsbergen, N Sculthorpe, A Johnstone, E Scott
The system can't perform the operation now. Try again later.
Articles 1–18