Final shift for call/cc: : direct implementation of shift and reset. - Martin Gasbichler; Michael Sperber (ICFP, 2002)

Functional logic overloading. - Matthias Neubauer; Peter Thiemann 001; Martin Gasbichler; Michael Sperber (POPL, 2002)

Integrating User-Level Threads with Processes in Scsh. - Martin Gasbichler; Michael Sperber (High. Order Symb. Comput., 2005)

Htdp and dmda in the battlefield: a case study in first-year programming instruction. - Annette Bieniusa; Markus Degen 001; Phillip Heidegger; Peter Thiemann 001; Stefan Wehr; Martin Gasbichler; Michael Sperber; Marcus Crestani; Herbert Klaeren; Eric Knauel (FDPE@ICFP, 2008)