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
512015
Safe Functional Reactive Programming through Dependent Types
N Sculthorpe, H Nilsson
International Conference on Functional Programming, 23-34, 2009
392009
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
382012
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
34*2013
The Constrained-Monad Problem
N Sculthorpe, J Bracker, G Giorgidze, A Gill
International Conference on Functional Programming, 287-298, 2013
332013
Towards Safe and Efficient Functional Reactive Programming
N Sculthorpe
University of Nottingham, 2011
202011
Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs
A Farmer, N Sculthorpe, A Gill
Haskell Symposium, 23-34, 2015
192015
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
152010
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
142016
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
14*2014
Work It, Wrap It, Fix It, Fold It
N Sculthorpe, G Hutton
Journal of Functional Programming 24 (1), 113-127, 2014
122014
The Remote Monad Design Pattern
A Gill, N Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, ...
Haskell Symposium, 59-70, 2015
112015
Optimisation of Dynamic, Hybrid Signal Function Networks
N Sculthorpe, H Nilsson
Trends in Functional Programming 2008, 97-112, 2009
72009
Executable Component-Based Semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019
62019
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
62016
Calculating correct compilers II: Return of the register machines
P Bahr, G Hutton, M Handley, N Vazou, G Hutton, J Hackett, G Hutton, ...
Journal of Functional Programming 30, 2020
22020
Using Typings as Types
C Bach Poulsen, PD Mosses, N Sculthorpe
Proceedings of the 27th Nordic Workshop on Programming Theory, 90-93, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–17