Bruno Barras

Chargé de Recherche, INRIA Futurs, projet LogiCal.

Intérêts professionnels:

Théorie des Types, Métathéorie, Programmation fonctionnelle, Extraction de programmes, Bootstrap, Fonctions de réduction

Ma page Web à Cambridge.

Contact:

Adresse:
Projet LogiCal - INRIA Futurs
LIX - Ecole Polytechnique
91128 Palaiseau Cedex - FRANCE
Telephone: + 33 (1) 69 33 28 66
Fax: + 33 (1) 69 33 30 14

E-mail: Bruno.Barras@inria.fr
In English