Flyn Computing
Flyn Computing
Open Source
Patches
Projects
Research
CDX
Proposals
Publications
Reading List
Statistics
System integration
Notes
SRPMs
Teaching
CS120
CS401/501
CS455/555
Archive
Light
Dark
Automatic
Ethos' Deeply Integrated Distributed Types
W. Michael Petullo
,
Jon A. Solworth
,
Wenyuan Fei
,
Pat Gavlin
May 2014
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 2014 IEEE Security and Privacy Workshops
academic
accepted-14
type safety
LangSec
Cite
×