Xavier Leroy

Digital Library

ACM Fellows

France - 2015

citation

For contributions to safe, high-performance functional programming languages and compilers, and to compiler verification.

Press Release