Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robin Piedeleu
conf.researchr.org general profile
APLAS & ATVA 2026 profile
POPL 2019 profile
POPL 2023 profile
Not registered as user
Name:
Robin Piedeleu
Affiliation:
University of Oxford
Contributions
2026
APLAS
Author of String Diagrams for Probabilistic Computation: From Completeness to Verification within the ATVA Research Papers-track
2023
LAFI
Author of On Iteration in Discrete Probabilistic Programming within the LAFI 2023-track
2019
POPL
Author of Diagrammatic Algebra: From Linear to Concurrent Systems within the Research Papers-track
Share
x
Mon 2 Nov 15:29