POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
POPL 2025 (series) / Dongho LEE

Registered user since Wed 15 Jan 2020

Name:Dongho LEE
Country:Canada
Affiliation:Dalhousie University
GitHub: https://github.com/fredldh
Research interests:Programming languages, quantum computation, formal methods, categorical semantics

Contributions

Show activities from other conferences

POPL 2025-profile
View general profile