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)
