A Complete Type Inference System for Subtyped Recursive Types (1994)

Cached

Download Links

by Tatsurou Sekiguchi , Akinori Yonezawa
Venue:IN PROC. THEORETICAL ASPECTS OF COMPUTER SOFTWARE
Citations:3 - 0 self