Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online

Registered user since Mon 4 Jan 2021

Name: Eddie Jones

Country: United Kingdom

Affiliation: University of Bristol

Personal website: https://ec-jones.github.io/

GitHub: https://github.com/ec-jones

Research interests: Higher-order Program Verification, Refinement Types

Contributions

POPL 2021 Intensional Datatype Refinement
Show activities from other conferences

POPL 2021-profile
View general profile