
Registered user since Mon 17 May 2021
Name:Stefan Monnier
Country:Canada
Affiliation:Université de Montréal
Contributions
POPL 2022 | Mœbius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile