Preliminary Design of the SAFE Platform
By André DeHon, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan
Date: October 23, 2011
Date: October 23, 2011
Presented at 6th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011.