Neil Sculthorpe
Titel
Citeras av
Citeras av
År
Reusable Components of Semantic Specifications
M Churchill, PD Mosses, N Sculthorpe, P Torrini
Transactions on Aspect-Oriented Software Development 12, 132 - 179, 2015
512015
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
432012
Safe Functional Reactive Programming through Dependent Types
N Sculthorpe, H Nilsson
International Conference on Functional Programming, 23-34, 2009
392009
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
36*2013
The Constrained-Monad Problem
N Sculthorpe, J Bracker, G Giorgidze, A Gill
International Conference on Functional Programming, 287-298, 2013
322013
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
Towards Safe and Efficient Functional Reactive Programming
N Sculthorpe
University of Nottingham, 2011
182011
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
15*2014
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
Work It, Wrap It, Fix It, Fold It
N Sculthorpe, G Hutton
Journal of Functional Programming 24 (1), 113-127, 2014
142014
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
122016
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
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
Executable Component-Based Semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019
52019
Using Typings as Types
C Bach Poulsen, PD Mosses, N Sculthorpe
Proceedings of the 27th Nordic Workshop on Programming Theory, 90-93, 2016
2016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–16