|
I'm a member of the Functional Programming Laboratory research group in the School of Computer Science, at the University of Nottingham. I've just finished a PhD in Functional Reactive Programming (FRP); in particular considering safety and efficiency for an FRP variant based on a first-class signal-function abstraction (inspired by Yampa). My supervisor was Henrik Nilsson.
Neil Sculthorpe. Towards Safe and Efficient Functional Reactive Programming. PhD thesis, University of Nottingham, July 2011.
This is the author's corrected version. The published version is available here.
Neil Sculthorpe and Henrik Nilsson. Keeping Calm in the Face of Change: Towards Optimisation of FRP by Reasoning about Change. Journal of Higher-Order and Symbolic Computation (HOSC), 23(2), pages 227 – 271. Springer, 2010.
This is the author's version. The final publication is available at www.springerlink.com
Note that the contents of this paper have been superseded by an improved version in my thesis (see above).
Neil Sculthorpe and Henrik Nilsson. Safe Functional Reactive Programming through Dependent Types. In the proceedings of the 14th International Conference on Functional Programming (ICFP '09), pages 23 – 34. Edinburgh, Scotland. ACM, 2009.
This is the author's corrected version. The published version is available here.
Note that the contents of this paper have been superseded by an improved version in my thesis (see above).
Neil Sculthorpe and Henrik Nilsson. Optimisation of Dynamic, Hybrid Signal Function Networks. In the proceedings of the Ninth Symposium on Trends in Functional Programming (TFP '08), pages 97 – 112. Nijmegen, The Netherlands. Intellect, 2009.
Note that the contents of this paper have been superseded by an improved version in my thesis (see above).
Temporal-Logic Combinators. At the Functional Programming Laboratory Away Day. Buxton, England, 8th July 2011.
Exploiting Signal Functions and Signal Kinds in FRP. At the Functional Programming Laboratory Away Day. Castleton, England, 21st July 2010.
Safe Functional Reactive Programming through Dependent Types. At the 14th International Conference on Functional Programming (ICFP '09). Edinburgh, Scotland, 31st August 2009.
Safe Functional Reactive Programming through Dependent Types. At the Functional Programming Laboratory Away Day. Worksop, England, 23rd June 2009.
Safe Functional Reactive Programming through Dependent Types. At Types 2009 (TYPES '09). Aussois, France, 12th May 2009.
Safe Functional Reactive Programming through Dependent Types. At the 25th British Colloquium on Theoretical Computer Science (BCTCS '09). University of Warwick, England, 7th April 2009.
Optimisation of Dynamic, Hybrid Signal Function Networks. At the Ninth Symposium on Trends in Functional Programming (TFP '08). Nijmegen, The Netherlands, 27th May 2008.
I have taught the modules:
I am, or have been, a teaching assistant for the following modules:
I maintain coursework support pages for G52MAL and G53CMP, accessible at:
Last updated 20th January 2012.