Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bert Lindenhovius
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2022 profile
POPL 2020 profile
POPL 2022 profile
Registered user since Thu 26 Dec 2019
Name:
Bert Lindenhovius
Country:
Austria
Affiliation:
JKU Linz
Contributions
2022
PLanQC
Committee Member in Program Committee within the PLanQC-track
POPL
Author of Semantics for Variational Quantum Programming within the POPL-track
2020
PLanQC
Author of Quantum CPOs within the PLanQC-track
2019
ICFP
Author of Mixed Linear and Non-linear Recursive Types within the Research Papers-track
Share
x
Tue 5 Nov 14:25