Not registered as user yet

Name: Edwin Westbrook

Affiliation: Galois, Inc.

POPL 2017 Activities

• Author of Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting within the CoqPL 2017-track in CoqPL 2017
• Author of GraPPa: spanning the expressivity vs. efficiency continuum within the PPS-track in PPS 2017
• Show activities from other conferences