| 2009 | ||
|---|---|---|
| 3 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Howe's Method for Calculi with Passivation. CONCUR 2009: 448-462 | |
| 2 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani: Normal Bisimulations in Calculi with Passivation. FOSSACS 2009: 257-271 | |
| 2006 | ||
| 1 | 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] |