
Registered user since Mon 17 May 2021
Name:Stefan Monnier
Affiliation:Université de Montréal
Contributions
TyDe 2019 | Inductive types deconstructed | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile
Registered user since Mon 17 May 2021
Contributions
TyDe 2019 | Inductive types deconstructed | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |