Bruno Barras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | APLAS | The Negligible and Yet Subtle Cost of Pattern Matching. | Beniamino Accattoli, Bruno Barras |
| 2017 | PPDP | Environments and the complexity of abstract machines. | Beniamino Accattoli, Bruno Barras |
| 2015 | ITP | Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface. | Bruno Barras, Carst Tankink, Enrico Tassi |
| 2013 | CSL | Semantics of Intensional Type Theory extended with Decidable Equational Theories. | Qian Wang, Bruno Barras |
| 2011 | LICS | CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. | Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang |
| 2008 | FOSSACS | The Implicit Calculus of Constructions as a Programming Language with Dependent Types. | Bruno Barras, Bruno Bernardo |
| 2005 | CSL | On the Role of Type Decorations in the Calculus of Inductive Constructions. | Bruno Barras, Benjamin Grgoire |