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

Cached

Download Links

by Trevor Jim , Jens Palsberg
Citations:14 - 2 self