A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science - Washington Technology - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-06-23 18:20:16		A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 215,87 KB Share Document on Facebook