Registered user since Tue 15 Mar 2016
Name:Neil Sculthorpe
Affiliation:Nottingham Trent University, UK
Personal website: https://sculthorpen.github.io/neilsculthorpe/
Research interests:Programming Languages, Functional Programming, Formal Semantics, Type Systems, Equational Reasoning, Program Transformation, Functional Reactive Programming, Domain-Specific Languages, Continuations.
Contributions
ICFP 2024-profile
View general profile
View general profile