Section: Contracts and Grants with Industry
ReFLect over Caml
We have a contract with Intel Corporation that supports Nicolas Pouillard, Michel Mauny and Damien Doligez's work on formally defining and implementing the reFLect functional programming language designed at Intel. (See section 6.5.2 .) Michel Mauny is the principal investigator for this contract.