Robert Harper Professor Research Areas: General programming languages Proof theory Semantics Type theory
