| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Howe's Method for Calculi with Passivation. CONCUR 2009: 448-462 |
| 2 | EE | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Normal Bisimulations in Calculi with Passivation. FOSSACS 2009: 257-271 |
| 2006 | ||
| 1 | EE | Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23 |
| 1 | Vincent Cremet | [1] |
| 2 | François Garillot | [1] |
| 3 | Martin Odersky | [1] |
| 4 | Alan Schmitt | [2] [3] |
| 5 | Jean-Bernard Stefani | [2] [3] |