| Reusable Components of Semantic Specifications M Churchill, PD Mosses, N Sculthorpe, P Torrini Transactions on Aspect-Oriented Software Development 12, 132 - 179, 2015 | 51 | 2015 |
| Safe Functional Reactive Programming through Dependent Types N Sculthorpe, H Nilsson International Conference on Functional Programming, 23-34, 2009 | 39 | 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 | 38 | 2012 |
| 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 | 33 | 2013 |
| Towards Safe and Efficient Functional Reactive Programming N Sculthorpe University of Nottingham, 2011 | 20 | 2011 |
| Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs A Farmer, N Sculthorpe, A Gill Haskell Symposium, 23-34, 2015 | 19 | 2015 |
| 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 | 15 | 2010 |
| 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 | 14 | 2016 |
| 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 | 12 | 2014 |
| The Remote Monad Design Pattern A Gill, N Sculthorpe, J Dawson, A Eskilson, A Farmer, M Grebe, ... Haskell Symposium, 59-70, 2015 | 11 | 2015 |
| Optimisation of Dynamic, Hybrid Signal Function Networks N Sculthorpe, H Nilsson Trends in Functional Programming 2008, 97-112, 2009 | 7 | 2009 |
| Executable Component-Based Semantics LT van Binsbergen, PD Mosses, N Sculthorpe Journal of Logical and Algebraic Methods in Programming 103, 184-212, 2019 | 6 | 2019 |
| 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 | 6 | 2016 |
| 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 | 2 | 2020 |
| Using Typings as Types C Bach Poulsen, PD Mosses, N Sculthorpe Proceedings of the 27th Nordic Workshop on Programming Theory, 90-93, 2016 | | 2016 |
Andy GillAssociate Professor, University of KansasVerified email at ku.edu
