Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jurriaan Rot
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2020 profile
Not registered as user
Name:
Jurriaan Rot
Affiliation:
Radboud University Nijmegen
Personal website:
http://jurriaan.me/
Contributions
2025
CPP
Author of Intrinsically Correct Sorting in Cubical Agda within the CPP 2025-track
2020
ECOOP
Author of A big step from finite to infinite computations within the Research Papers-track
2019
FOSSACS
Author of Coalgebra Learning via Duality within the FOSSACS 2019-track
OPCT
Author of Coalgebra Learning via Duality within the OPCT 2019-track
Share
x
Thu 19 Dec 04:10