Bruno Barras

Researcher, INRIA Futurs, LogiCal project.

Professional interests:

Type theory, Metatheory, Functional programming, Program extraction, Bootstrap, Reduction functions

My Web page in Cambridge.

Contact:

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

E-mail: Bruno.Barras@inria.fr
Francais