Type inference with inequalities (1991)

View PDF

Download Links

by Michael I. Schwartzbach
Venue:IN PROC. TAPSOFT'91
Citations:14 - 7 self