Benjamin C. Pierce
Arthur Azevedo de Amorim
Chris Casinghino
Marco Gaboardi
Michael Greenberg
Cătălin Hriţcu
Vilhelm Sjöberg
Brent Yorgey
with
Loris D'Antoni,
Andrew W. Appel,
Arthur Chargueraud,
Anthony Cowley,
Jeffrey Foster,
Dmitri Garbuzov,
Olek Gierczak,
Michael Hicks,
Ranjit Jhala,
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.6J (09 Jan 2019, Coq 8.8.1)