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

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