
Registered user since Fri 16 Dec 2016
Name:Brigitte Pientka
Affiliation:McGill University
Personal website:http://www.cs.mcgill.ca/~bpientka/
Contributions
ICFP 2021 | Committee Member in Program Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
PLMW @ ICFP 2021 | Introduction to Mechanized Metatheory | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile