Andrey Mokhov |
Jane Street |
BenoƮt Montagu |
Inria |
Chris Casinghino |
Jane Street |
Claude Rubinson |
University of Houston-Downtown |
Gabriel Scherer chair |
INRIA |
Gabriel Scherer |
INRIA |
Jacques Garrigue |
Nagoya University |
Jonah Beckford |
Diskuv -- US |
Jonathan Protzenko |
Microsoft Research |
Kenichi Asai |
Ochanomizu University |
Kiran Gopinathan |
National University of Singapore |
Matija Pretnar |
University of Ljubljana |
Nathanaƫlle Courant |
OCamlPro -- France |
Oleg Kiselyov |
Tohoku University |
Raja Boujbel |
OCamlPro |
Sudha Parimala |
Tarides |