Benjamin C. Pierce
Arthur Azevedo de Amorim and Chris Casinghino
Marco Gaboardi and Michael Greenberg
Cătălin Hriţcu and Vilhelm Sjöberg
Brent Yorgey
with
Loris D'Antoni, Andrew W. Appel, Arthur Charguéraud, Michael Clarkson, Anthony Cowley, Jeffrey Foster, Dmitri Garbuzov, Olek Gierczak, Michael Hicks, Ranjit Jhala, Ori Lahav, Greg Morrisett, Jennifer Paykin, Mukund Raghothaman, Chung-chieh Shan, Leonid Spesivtsev, Andrew Tolmach, Philip Wadler, Stephanie Weirich, Li-Yao Xia, and Steve Zdancewic

Version 5.7 (08 Oct 2019, Coq 8.9.1)