POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Jonathan Chan

Registered user since Sun 23 Aug 2020

Name:Jonathan Chan
Country:Canada
Affiliation:University of Pennsylvania
Personal website: https://ionathan.ch
Research interests:Dependent Types, Type Theory, Proof Assistants

Contributions

Show activities from other conferences

Using general profile