BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Hungary
1 × Italy
1 × United Kingdom
Collaborated with:
Q.Wang B.Bernardo B.Grégoire B.Accattoli J.Jouannaud P.Strub
Talks about:
theori (4) type (4) construct (2) calculus (2) order (2) decid (2) intension (1) hierarchi (1) parametr (1) implicit (1)

Person: Bruno Barras

DBLP DBLP: Barras:Bruno

Contributed to:

CSL 20132013
LICS 20112011
FoSSaCS 20082008
CSL 20052005
PPDP 20172017

Wrote 5 papers:

CSL-2013-WangB #decidability #equation #semantics #type system
Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.
LICS-2011-BarrasJSW #decidability #first-order #higher-order #named #type system
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (BB, JPJ, PYS, QW), pp. 143–151.
FoSSaCS-2008-BarrasB #calculus #dependent type #programming language
The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
CSL-2005-BarrasG #calculus #induction #on the
On the Role of Type Decorations in the Calculus of Inductive Constructions (BB, BG), pp. 151–166.
PPDP-2017-AccattoliB #automaton #complexity
Environments and the complexity of abstract machines (BA, BB), pp. 4–16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.