Matthew Hill

Research

  1. Attribute Grammars for Pluggable, Gradual Type Systems.
    MSc Thesis, University of Warwick (2014/15). Supervisor: Dr. Sara Kalvala.
  2. A Static Type System for a Simplified Pascal Dialect.
    BSc Project, University of Warwick (2013/14). Supervisor: Dr. Steve Matthews.

Musings

  1. Type Attributes for the Gradually Typed λ-calculus (read).
  2. Embedding System F Encoded Types in Haskell (read).
  3. Complete Problems Satisfy a Universal Property (read).