if you wish to view my email address.
Postgraduate at the Department of Computer Science, University of Warwick, UK.
Research interests include; programming language semantics, type theory, categorical logic.
Graduate teaching assistant, University of Warwick (2014/15).
CS256 Functional Programming
CS259 Formal Languages
CS325 Compiler Design
CS349 Principles of Programming Languages
Accessor/mutator synthesis as a derived construct
Type attributes for the gradually typed λ-calculus
Embedding System F type encodings in Haskell
Complete problems satisfy a universal property