Type reconstruction with recursive types and atomic subtyping (0)

by J Tiuryn, M Wand
Venue:Proc. Theory and Practice of Software Development (TAPSOFT