Not registered as user yet

Name:Peter Selinger
Affiliation:Dalhousie University

Contributions

POPL 2023 Proto-Quipper with dynamic lifting
Show activities from other conferences

Using general profile