Type inference in systems of recursive types with subtyping (1997)

Cached

Download Links

by Trevor Jim , Jens Palsberg
Citations:15 - 3 self