Matthew Hill

Research

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

Teaching

Lab supervision, University of Warwick (2014/15).
  1. CS256 Functional Programming (info)
  2. CS325 Compiler Design (info)
  3. CS349 Principles of Programming Languages (info)

Musings

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