Photo of Neil Sculthorpe

Contact Details

Email: neil•sculthorpe@ntu•ac•uk
Phone: +44 (0)115 8483509
Address: Erasmus Darwin Building,
Nottingham Trent University,
Clifton Lane,
NG11 8NS,
United Kingdom
Pronunciation: A speaker with the words 'hear my name'.

Neil Sculthorpe


I can be found at Nottingham Trent University, where I am a Senior Lecturer in the Department of Computer Science.

Previously I have been a:

Publications and Talks

My publications, along with any accompanying code or proofs, are available here:

The slides and accompanying code for any talks, presentations or guest lectures I have given are available here:


My research field is Programming Languages.

Research Interests

Functional Programming, Operational Semantics, Denotational Semantics, Type Systems, Equational Reasoning, Program Transformation, Functional Reactive Programming, Domain-Specific Languages, Continuations.

Research Topics

My research has included:

Professional Activities

I have been a program committee member for the following conferences:

I have been a reviewer for the following journals and conferences:

  • Journal of Functional Programming (JFP)

  • Science of Computer Programming (SCP)

  • Journal of Computer Languages (COLA)

  • Symposium on Principles of Programming Languages (POPL)

  • International Conference on Functional Programming (ICFP)

  • International Conference on Software Language Engineering (SLE)

  • International Conference on Types for Proofs and Programs (TYPES)

  • Conference on Mathematical Foundations of Programming Semantics (MFPS)

  • Conference on Algebra and Coalgebra in Computer Science (CALCO)

  • Symposium on Haskell (HASKELL)

  • Symposium on Implementation and Application of Functional Languages (IFL)

  • Symposium on Trends in Functional Programming (TFP)

  • Workshop on Mathematically Structured Functional Programming (MSFP)

  • Workshop on Partial Evaluation and Program Manipulation (PEPM)

  • Eelco Visser Commemorative Symposium (EVCS)

Last updated 2nd July 2024.

Valid XHTML 1.0 Strict I'm a Haskeller