Barbara Liskov Atul Adya Miguel Castro Quinton Zondervan Type-Safe Heterogeneous Sharing can be Fast. 1-10 POS/1996/P001.pdf 1996 POS db/conf/pos/pos96.html#LiskovACZ96