Software Foundations


Benjamin C. Pierce
Chris Casinghino
Marco Gaboardi
Michael Greenberg
Cătălin Hriţcu
Vilhelm Sj÷berg
Brent Yorgey

with Loris D'Antoni, Andrew W. Appel, Arthur Azevedo de Amorim, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Dmitri Garbuzov, Michael Hicks, Ranjit Jhala, Greg Morrisett, Jennifer Paykin, Mukund Raghothaman, Chung-chieh Shan, Leonid Spesivtsev, Andrew Tolmach, and Steve Zdancewic





Version 3.0 (June 2014)