 |
|
|
|
|
|
|
I'm a member of the Functional Programming Laboratory research group in the School of Computer Science, at the University of Nottingham. Currently I'm working towards a PhD in Functional Reactive Programming (FRP); in particular the arrow-based style of FRP exemplified by Yampa. My supervisor is Henrik Nilsson.
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, 2009. ACM.
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, 2008. Intellect.
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 am a teaching assistant for the following modules:
In 2009 I was the primary lecturer for G52MAL.
I maintain coursework support pages for G52MAL and G52CMP, accessible at:
Last updated 3rd February 2010.