Recursive Subtyping Revealed (2000)

Cached

Download Links

by Vladimir Gapeyev , Michael Levin , Benjamin Pierce
Venue:Journal of Functional Programming
Citations:37 - 4 self