
Registered user since Sat 13 Jun 2020
Name:Adam Geller
Country:Canada
Affiliation:Computer Science, University of British Columbia
Personal website:http://adamtgeller.com
Research interests:Programming Languages
Contributions
PLDI 2023 | Flux: Liquid Types for Rust | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile