![]() | ![]() |
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] |