Ethos' Deeply Integrated Distributed Types

W. Michael Petullo, Jon A. Solworth, Wenyuan Fei, Pat Gavlin
May, 2014
PDF Cite
Type
1
Publication
Proceedings of the 2014 IEEE Security and Privacy Workshops
Academic Accepted-14 Type Safety LangSec