Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hiromi Ogawa
conf.researchr.org general profile
APSEC 2022 profile
ICFP 2020 profile
PLDI 2025 profile
Not registered as user
Name:
Hiromi Ogawa
Country:
Japan
Affiliation:
University of Tsukuba
Contributions
2025
PLDI
Author of Thrust: A Prophecy-Based Refinement Type System for Rust within the PLDI Research Papers-track
2020
HIW
Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track
Share
x
Sun 4 May 20:05
