Flyn Computing
Flyn Computing
Open Source
Projects
Patches
Statistics
System integration
Notes
SRPMs
Academics
Publications
Proposals
Reading List
CDX
Statistics
Teaching
Research
Software Development Project
Academic Advising
Internships
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
×