Shota Ozaki

According to our database, Shota Ozaki authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric.

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

Proc. ACM Program. Lang., 2024