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