Matthew Hill

Projects

  1. A Static Type System for a Simplified Pascal Dialect.
    Undergraduate Thesis, University of Warwick. (March 2014).

Musings

  1. Embedding System F Encoded Types in Haskell (read)
  2. Complete Problems Satisfy a Universal Property (read)