2008 | ||
---|---|---|
2 | EE | Sylvain Lebresne: A System F with Call-by-Name Exceptions. ICALP (2) 2008: 323-335 |
2005 | ||
1 | EE | Pascal Berthomé, Sylvain Lebresne, Kim Nguyen: Computation of Chromatic Polynomials Using Triangulations and Clique Trees. WG 2005: 362-373 |
1 | Pascal Berthomé | [1] |
2 | Kim Nguyen | [1] |