Registered user since Mon 12 Aug 2019
Name:Paulette Koronkevich
Affiliation:University of British Columbia
Personal website:http://koronkevi.ch
Contributions
| POPL 2022 | Dependent-Type-Preserving Memory Allocation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile