Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Selinger
conf.researchr.org general profile
ICSE 2025 profile
PLDI 2021 profile
POPL 2019 profile
POPL 2020 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
Not registered as user
Name:
Peter Selinger
Country:
Canada
Affiliation:
Dalhousie University
Contributions
2025
Q-SE
PC Member in Program Committee within the Quantum SE-track
PLanQC
Author of Proto-Quipper with Reversing and Control within the PLanQC 2025-track
2024
PLanQC
Committee Member in Program Committee within the PLanQC 2024-track
2023
POPL
Author of Proto-Quipper with Dynamic Lifting within the POPL-track
2021
PLanQC
Committee Member in Program Committee within the PLanQC 2021-track
2020
PLanQC
Invited Speaker of Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper within the PLanQC-track
2019
POPL
Committee Member in Program Committee within the Research Papers-track
Share
x
Sun 22 Dec 14:31