Efficient Recursive Subtyping (1995)

by Dexter Kozen , Jens Palsberg , Michael I. Schwartzbach
Citations:48 - 14 self