Matthew Hill

Teaching

Tutorial supervision, University of Warwick (2014/15).
  1. CS256 Functional Programming (info)
  2. CS325 Compiler Design (info)

Notes

  1. Accessor/Mutator Synthesis in Object-based Languages (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)