SPLASH 2023 (series) / 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
SLE 2023 | Committee Member in Program Committee within the SLE 2023-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile