Registered user since Thu 15 Jul 2021

Name:Pedro Rocha
Country:Portugal
Affiliation:Nova University of Lisbon

Contributions

ICFP 2021 Author of Propositions-as-Types and Shared State within the Research Papers-track