Bruno Barras


I'm a Researcher at Inria Saclay, in the Marelle team.

I lso belong to Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex - France

Professional interests:

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

List of Publications

Follow this link.

Implementations



Teaching



Contact Information

Email: barras@lix.polytechnique.fr
Téléphone: +33 1 69 33 40 57
Fax: +33 1 69 33 30 14

Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.