Ethos' Deeply Integrated Distributed Types

W. Michael Petullo, Jon A. Solworth, Wenyuan Fei, Pat Gavlin
May 2014
PDF
Type
Conference paper
Publication
Proceedings of the 2014 IEEE Security and Privacy Workshops
academic accepted-14 type safety LangSec