| Reusable Components of Semantic Specifications M Churchill, PD Mosses, N Sculthorpe, P Torrini Transactions on Aspect-Oriented Software Development 12, 132 - 179, 2015 | 57 | 2015 |
| Safe Functional Reactive Programming through Dependent Types N Sculthorpe, H Nilsson International Conference on Functional Programming, 23-34, 2009 | 44 | 2009 |
| 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 | 43 | 2012 |
| The Constrained-Monad Problem N Sculthorpe, J Bracker, G Giorgidze, A Gill International Conference on Functional Programming, 287-298, 2013 | 38 | 2013 |
| 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 | 38 | 2013 |
| Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs A Farmer, N Sculthorpe, A Gill Haskell Symposium, 23-34, 2015 | 27 | 2015 |
| Towards Safe and Efficient Functional Reactive Programming N Sculthorpe University of Nottingham, 2011 | 24 | 2011 |
| 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 | 19* | 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 | 17 | 2016 |
| 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 | 17 | 2010 |
| Executable Component-Based Semantics LT van Binsbergen, PD Mosses, N Sculthorpe Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019 | 16 | 2019 |
| Work It, Wrap It, Fix It, Fold It N Sculthorpe, G Hutton Journal of Functional Programming 24 (1), 113-127, 2014 | 16 | 2014 |
| The Remote Monad Design Pattern A Gill, N Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, ... Haskell Symposium, 59-70, 2015 | 12 | 2015 |
| 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 | 11 | 2016 |
| Optimisation of Dynamic, Hybrid Signal Function Networks N Sculthorpe, H Nilsson Trends in Functional Programming 2008, 97-112, 2009 | 9 | 2009 |
| 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 | | |
Andy GillCerebrasEmail verificata su cerebras.net
