Martin Gasbichler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 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 Martin Gasbichler, Michael Sperber: Final shift for call/cc: : direct implementation of shift and reset. ICFP 2002: 271-282

1 Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. POPL 2002: 233-244

	2005
3		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		Martin Gasbichler, Michael Sperber: Final shift for call/cc: : direct implementation of shift and reset. ICFP 2002: 271-282
1		Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. POPL 2002: 233-244

Coauthor Index