Program committee



Name Affiliation
Andrew Kennedy chair Facebook
Clark Gaebel Jane Street
Gabriel Scherer INRIA
John Whitington University of Leicester
Jonathan Protzenko Microsoft Research
Kanae Tsushima Kyoto University
Nicolás Ojeda Bär LexiFi
Stephen Dolan OCaml Labs, University of Cambridge