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

Version 5.8 (03 Dec 2019, Coq 8.9.1)