Positive Subtyping (1994)

Cached

Download Links

by Martin Hofmann , Benjamin Pierce
Venue:Information and Computation
Citations:51 - 8 self

Document Versions

Positive Subtyping –Martin Hofmann, Benjamin Pierce — 1994 — Information and Computation
Positive Subtyping –Martin Hofmann, Benjamin Pierce — 1994 — Information and Computation