Program committee



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