Type reconstruction with recursive types and atomic subtyping (1993)

by Jerzy Tiuryn, Mitch Wand
Venue:TAPSOFT’93: Theory and Practice of Software Development, Proc. 4th Intern. Joint Conf. CAAP/FASE, volume 668 of LNCS