Type inhabitation of atomic polymorphism is undecidable. - M. Clarence Protin (J. Log. Comput., 2021)

Typability and Type Inference in Atomic Polymorphism. - M. Clarence Protin; Gilda Ferreira (Log. Methods Comput. Sci., 2022)