Neil Sculthorpe
TitelCiteras 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
482015
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
Safe Functional Reactive Programming through Dependent Types
N Sculthorpe, H Nilsson
International Conference on Functional Programming, 23-34, 2009
382009
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
37*2013
The Constrained-Monad Problem
N Sculthorpe, J Bracker, G Giorgidze, A Gill
International Conference on Functional Programming, 287-298, 2013
312013
Towards Safe and Efficient Functional Reactive Programming
N Sculthorpe
University of Nottingham, 2011
182011
Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs
A Farmer, N Sculthorpe, A Gill
Haskell Symposium, 23-34, 2015
162015
Work It, Wrap It, Fix It, Fold It
N Sculthorpe, G Hutton
Journal of Functional Programming 24 (1), 113-127, 2014
152014
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
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
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
112016
The Remote Monad Design Pattern
A Gill, N Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, ...
Haskell Symposium, 59-70, 2015
102015
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
52016
Executable Component-Based Semantics
LT van Binsbergen, PD Mosses, N Sculthorpe
Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019
32019
Using Typings as Types
CB Poulsen, PD Mosses, N Sculthorpe
on Programming Theory (NWPT 2015), 90, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–16