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
Using general profile