Dynamic Type Inference for Gradual Hindley--Milner Typing

Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi

Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorith…