| |
| 2009 | ||
|---|---|---|
| 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] |
| 5 | Jean-Bernard Stefani | [2] |