Undergraduate at the Department of Computer Science, University of Warwick, UK.
Research interests include; programming language semantics, type theory, categorical logic.
A Static Type System for a Simplified Pascal Dialect.
Undergraduate Thesis, University of Warwick. (March 2014).
Embedding System F Encoded Types in Haskell
Complete Problems Satisfy a Universal Property