Neil Sculthorpe -

Registered user since Tue 15 Mar 2016

Name:Neil Sculthorpe

Affiliation:Nottingham Trent University, UK

Personal website: http://neilsculthorpe.com/

Research interests:Programming Languages, Functional Programming, Formal Semantics, Type Systems, Equational Reasoning, Program Transformation, Functional Reactive Programming, Domain-Specific Languages, Continuations.

Contributions

2024

Haskell

Committee Member in Program Committee within the Haskell 2024-track

2023

SLE

Committee Member in Program Committee within the SLE 2023-track

2020

REBLS

PC Member in Program Committee within the REBLS 2020-track

2019

SLE

Committee Member in Program Committee within the SLE 2019-track

2016

Modularity

Author of Tool Support for Component-Based Semantics within the Demos & Posters-track
Author of Tool Support for Component-Based Semantics (second presentation) within the Demos & Posters-track