American computer scientist known for continuations, relational parametricity, separation logic, polymorphic lambda calculus and defunctionalization.
American computer scientist known for continuations, relational parametricity, separation logic, polymorphic lambda calculus and defunctionalization.