Sylvain Lebresne

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

3 Sylvain Lebresne: A Type System For Call-By-Name Exceptions CoRR abs/0907.2059: (2009)

2008

2 Sylvain Lebresne: A System F with Call-by-Name Exceptions. ICALP (2) 2008: 323-335

2005

1 Pascal Berthomé, Sylvain Lebresne, Kim Nguyen: Computation of Chromatic Polynomials Using Triangulations and Clique Trees. WG 2005: 362-373

	2009
3		Sylvain Lebresne: A Type System For Call-By-Name Exceptions CoRR abs/0907.2059: (2009)
	2008
2		Sylvain Lebresne: A System F with Call-by-Name Exceptions. ICALP (2) 2008: 323-335
	2005
1		Pascal Berthomé, Sylvain Lebresne, Kim Nguyen: Computation of Chromatic Polynomials Using Triangulations and Clique Trees. WG 2005: 362-373

Coauthor Index

1 Pascal Berthomé [1]

2 Kim Nguyen [1]