Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Verified Information-Flow Architecture Arthur Azevedo de Amorim1 Nathan Collins2 Andr´e DeHon1 Delphine Demange1 C˘at˘alin Hrit¸cu1,3 David Pichardie3,4 Benjamin C. Pierce1 Randy Pollack4 Andrew Tolmach2 1 Univers
Add to Reading List
Document Date: 2014-08-15 21:25:30
Open Document
File Size: 468,59 KB
Share Result on Facebook
A Verified Information-Flow Architecture Arthur Azevedo de Amorim1 Nathan Collins2 Andr´e DeHon1 Delphine Demange1 C˘at˘alin Hrit¸cu1,3 David Pichardie3,4 Benjamin C. Pierce1 Randy Pollack4 Andrew Tolmach2 1 Univers