Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Satoshi Kura
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
Registered user since Mon 4 Sep 2023
Name:
Satoshi Kura
Country:
Japan
Affiliation:
Waseda University
Personal website:
https://researchmap.jp/skura
Contributions
2024
ICFP
Author of Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System within the ICFP Papers and Events-track
Author of Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System within the Artifact Evaluation-track
2023
HOPE
Author of Higher-Order Weakest Precondition Transformers via a CPS Transformation within the HOPE 2023-track
Share
x
Mon 18 Nov 17:22