Yann Régis-Gianas

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