2005 | ||
---|---|---|
3 | EE | Martin Gasbichler, Michael Sperber: Integrating User-Level Threads with Processes in Scsh. Higher-Order and Symbolic Computation 18(3-4): 327-354 (2005) |
2002 | ||
2 | EE | Martin Gasbichler, Michael Sperber: Final shift for call/cc: : direct implementation of shift and reset. ICFP 2002: 271-282 |
1 | EE | Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. POPL 2002: 233-244 |
1 | Matthias Neubauer | [1] |
2 | Michael Sperber | [1] [2] [3] |
3 | Peter Thiemann | [1] |