Neil Sculthorpe

Research

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.

Publications

• Neil Sculthorpe. Towards Safe and Efficient Functional Reactive Programming. PhD thesis, University of Nottingham, July 2011.

  abstract pdf ps bib code

  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.

  abstract pdf ps bib code

  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.

  abstract pdf ps bib code

  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.

  abstract pdf ps bib

  Note that the contents of this paper have been superseded by an improved version in my thesis (see above).

Talks

• Temporal-Logic Combinators. At the Functional Programming Laboratory Away Day. Buxton, England, 8th July 2011.

  abstract slides code

• Exploiting Signal Functions and Signal Kinds in FRP. At the Functional Programming Laboratory Away Day. Castleton, England, 21st July 2010.

  abstract slides

• Safe Functional Reactive Programming through Dependent Types. At the 14th International Conference on Functional Programming (ICFP '09). Edinburgh, Scotland, 31st August 2009.

  abstract slides video code

• Safe Functional Reactive Programming through Dependent Types. At the Functional Programming Laboratory Away Day. Worksop, England, 23rd June 2009.

  abstract slides code

• Safe Functional Reactive Programming through Dependent Types. At Types 2009 (TYPES '09). Aussois, France, 12th May 2009.

  abstract slides code

• 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.

  abstract slides code

• Optimisation of Dynamic, Hybrid Signal Function Networks. At the Ninth Symposium on Trends in Functional Programming (TFP '08). Nijmegen, The Netherlands, 27th May 2008.

  abstract slides

Teaching

I have taught the modules:

• G52MAL: Machines and their Languages (2009–2011)
• G50ALG: Introduction to Algorithms (2011)

I am, or have been, a teaching assistant for the following modules:

• G51APS: Algorithmic Problem Solving (2011)
• G51FUN: Functional Programming (2009–2012)
• G52MAL: Machines and their Languages (2007–2008)
• G52CMP/G53CMP: Compilers (2007–2011)

I maintain coursework support pages for G52MAL and G53CMP, accessible at:

• G52MAL Support Page
• G53CMP Support Page

Last updated 20th January 2012.