Bruno Barras

	2008
5		Bruno Barras, Bruno Bernardo: The Implicit Calculus of Constructions as a Programming Language with Dependent Types. FoSSaCS 2008: 365-379
4		Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini: A New Elimination Rule for the Calculus of Inductive Constructions. TYPES 2008: 32-48
	2005
3		Bruno Barras, Benjamin Grégoire: On the Role of Type Decorations in the Calculus of Inductive Constructions. CSL 2005: 151-166
	2000
2		Bruno Barras: Programming and Computing in HOL. TPHOLs 2000: 17-37
	1996
1		Bruno Barras: Verification of the Interface of a Small Proof System in Coq. TYPES 1996: 28-45

Coauthor Index

1	Bruno Bernardo	[5]
2	Pierre Corbineau	[4]
3	Benjamin Grégoire	[3] [4]
4	Hugo Herbelin	[4]
5	Jorge Luis Sacchini	[4]

Colors in the list of coauthors