Yann Régis-Gianas

	2008
5		Yann Régis-Gianas, François Pottier: A Hoare Logic for Call-by-Value Functional Programs. MPC 2008: 305-335
	2006
4		François Pottier, Yann Régis-Gianas: Stratified type inference for generalized algebraic data types. POPL 2006: 232-244
3		François Pottier, Yann Régis-Gianas: Towards Efficient, Typed LR Parsers. Electr. Notes Theor. Comput. Sci. 148(2): 155-180 (2006)
	2004
2		Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch: Introducing VAUCANSON. Theor. Comput. Sci. 328(1-2): 77-96 (2004)
	2003
1		Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch: Introducing VAUCANSON. CIAA 2003: 96-107

Coauthor Index

1	Sylvain Lombardy	[1] [2]
2	Raphaël Poss	[1]
3	François Pottier	[3] [4] [5]
4	Jacques Sakarovitch	[1] [2]

Colors in the list of coauthors