Hisayuki Mima

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Face Recognition

Answer Set Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima
Finitary polymorphism for optimizing type-directed compilation. Proc. ACM Program. Lang. 2 (ICFP) (2018)