Kengo Hirata

According to our database, Kengo Hirata authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

Full Definability in a Profunctorial Model.

Takeshi Tsukada, Kazuyuki Asada, Kengo Hirata

CoRR, April, 2026

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing.

Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo

Proc. ACM Program. Lang., 2026

2025

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime.

Kengo Hirata, Chris Heunen

Proc. ACM Program. Lang., 2025