Martin Gasbichler

Home Teaching Publications
A Functional Notation for Functional Dependencies
Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
Proceedings of the ACM SIGPLAN 2001 Haskell Workshop, Florence, Italy, 2001
PDF
Soft Interfaces: Typing Scheme at the Module Level
Martin Gasbichler, Holger Gast
Proceedings of the 2nd ACM SIGPLAN 2001 Workshop on Scheme and Functional Programming, Florence, Italy, 2001
PostScript
A Direct Implementation of Shift/Reset
Martin Gasbichler, Michael Sperber
Proceedings of 13th International Workshop on the Implementation of Functional Languages, Stockholm, Sweden, 2001
Functional Logic Overloading
Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
Proceedings of The 29th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, Portland, OR, 2002
PDF
Final Shift for Call/cc: Direct Implementation of Shift and Reset
Martin Gasbichler, Michael Sperber
International Conference on Functional Programming, Pittsburgh, PA, 2002
PostScript
Processes vs. User-Level Threads in Scsh
Martin Gasbichler, Michael Sperber
Proceedings of the Third ACM SIGPLAN 2002 Scheme Workshop, Pittsburgh, PA, 2002
PostScript
How to Add Threads to a Sequential Language Without Getting Tangled Up
Martin Gasbichler, Eric Knauel, Michael Sperber, Richard Kelsey
Proceedings of the Fourth Workshop on Scheme and Functional Programming, Boston, MA, 2003
PostScript
Commander S - The shell as a browser
Martin Gasbichler, Eric Knauel
Proceedings of the Sixth Workshop on Scheme and Functional Programming, Tallinn, Estonia, 2005
PDF
User-Level Threads with Processes in Scsh
Martin Gasbichler, Michael Sperber
Higher-Order and Symbolic Computation, 18(3-4), 2005
Fully-parameterized, First-class Modules with Hygienic Macros
Martin Gasbichler
PhD thesis, University of Tübingen, August 2006
PDF
HtDP and DMdA in the Battlefield --- A Case Study in First-year Programming Instruction
Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, Stefan Wehr
Proceedings of the 2008 Workshop Functional and Declarative Programming in Education, Victoria, Canada, 2008
PDF
Auf dem Weg zu einer robusten Programmierausbildung
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, and Michael Sperber
Tagungsband zur 3. GI-Fachtagung Hochschuldidaktik Informatik, Potsdam, Germany, 2008
PDF (Preprint)

The ACM requires this disclaimer:

The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Here's the full text of the ACM copyright notice.