Bruno Barras

I'm a Researcher at Inria Saclay.

I now belong to Laboratoire Spécification et Vérification (LSV)

Professional interests:

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

List of Publications

Follow this link.

Implementations


Teaching


Contact Information

Email: bruno barras at inria.fr
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.