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