Matthew Hill


Graduate teaching assistant, University of Warwick (2014/15).
  1. CS256 Functional Programming (info)
  2. CS259 Formal Languages (info)
  3. CS325 Compiler Design (info)
  4. CS349 Principles of Programming Languages (info)


  1. Accessor/mutator synthesis as a derived construct (read)
  2. Type attributes for the gradually typed λ-calculus (read)
  3. Embedding System F type encodings in Haskell (read)
  4. Complete problems satisfy a universal property (read)