Hiromi Ogawa

According to our database, Hiromi Ogawa authored at least 3 papers between 1998 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Thrust: A Prophecy-Based Refinement Type System for Rust.

Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno

Proc. ACM Program. Lang., 2025

2022

Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell.

Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa

New Gener. Comput., 2022

1998

Micropitch connection using anisotropic conductive materials for driver IC attachment to a liquid crystal display.

Hideyuki Nishida, Kazunori Sakamoto, Hideki Ogawa, Hiromi Ogawa

IBM J. Res. Dev., 1998