Type Inference for Recursively Constrained Types and its Application to OOP (1995)

Cached

Download Links

by Jonathan Eifrig , Scott Smith , Valery Trifonov
Citations:83 - 15 self