Hisayuki Mima

According to our database, Hisayuki Mima authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Finitary polymorphism for optimizing type-directed compilation.

Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima

Proc. ACM Program. Lang., 2018