Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Satoshi Kura
conf.researchr.org general profile
ICFP 2023 profile
Registered user since Mon 4 Sep 2023
Name:
Satoshi Kura
Affiliation:
National Institute of Informatics
Personal website:
https://group-mmm.org/~skura/
Contributions
2023
HOPE
Author of Higher-Order Weakest Precondition Transformers via a CPS Transformation within the HOPE 2023-track
Share
x
Fri 17 May 16:14