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