Subtyping with Strengthening Type Invariants

Cached

Download Links

by Tamás Kozsik , Rinus Plasmeijer
Citations:3 - 3 self