Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Contracts and Grants with Industry

ReFLect

We have a contract with Intel Corporation that supports Virgile Prevosto, 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.7.4 .) Michel Mauny is the principal investigator for this contract.


previous
next

Logo Inria