Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kazuki Niimi
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
Not registered as user
Name:
Kazuki Niimi
Contributions
2022
HOPE
Author of Monadic Semantics of Bidirectional Effects within the HOPE 2022-track
2021
TyDe
Author of Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) within the TyDe 2021-track
Share
x
Mon 30 Dec 18:08