Publications

A file containing all BibTeX entries for the publications is available.

For some of these publications, talks are available.

There is also a list containing only the refereed publications.

Refereed Articles

Martin Grabmüller: A Model of Functional Programming With Dynamic Compilation and Optimization, in Henrik Nilsson, editor: Trends in Functional Programming, Volume 7, Intellect, 2007.

Martin Grabmüller, Petra Hofstedt: Turtle: A Constraint Imperative Programming Language, Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, number XX in Research and Development in Intelligent Systems, British Computer Society and Springer-Verlag, December 2003.
[ PDF | more information ]

Martin Grabmüller: Implementing Constraint Imperative Programming Languages with Higher-order Functions, Second International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL'03 in conjunction with the Ninth International Conference on Principles and Practice of Constraint Programming, CP2003, Kinsale, Ireland, September 2003.
[ PDF | more information ]

Other Articles

Judith Rohloff und Martin Grabmüller: Verbesserung statischer Programmanalysen mit Hilfe einer Annotationssprache, 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07), Timmendorfer Strand, Germany, Oktober 2007.
[ PDF | more information ]

Martin Grabmüller and Dirk Kleeblatt: Harpy: Run-time Code Generation in Haskell, demo at Haskell Workshop 2007, Freiburg, Germany, September 2007.
[ PDF | more information ]

Martin Grabmüller: A Generic Model of Functional Programming With Dynamic Optimization, Draft Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP 2006), Nottingham, England, April 2006.
[ PDF | more information ]

Martin Grabmüller: The Constraint Imperative Programming Language Turtle, 20. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany, May 2003.
[ PDF | more information ]

Stephan Frank, Martin Grabmüller, Petra Hofstedt und André Metzner: Constraints, Predicates, Functions and a Turtle, 20. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany, May 2003.
[ PDF | more information ]

Reports

Martin Grabmüller: Implementing Closures using Run-time Code Generation, in Forschungsberichte Fakultät IV - Elektrotechnik und Informatik, number 2006-02, Technische Universität Berlin, February 2006.
[ PDF | more information ]

Martin Grabmüller: Multiparadigmen-Programmiersprachen, in Forschungsberichte Fakultät IV - Elektrotechnik und Informatik, number 2003-15 (German), Technische Universität Berlin, October 2003.
[ PDF | more information ]

Theses

Martin Grabmüller: Constraint Imperative Programming, Diploma thesis, Technische Universität Berlin, February 2003.
[ PDF | more information ]

Drafts

Martin Grabmüller: Algorithm W Step by Step, Draft paper, September 2007.
[ PDF | source code | more informationen ]

Martin Grabmüller: Monad Transformers Step by Step, Draft paper, October 2006.
[ PDF | source code | more information ]

Martin Grabmüller: Purely Functional Monadic Scheme, Draft paper, June 2004.
[ PDF | more information ]

Martin Grabmüller: Constraint Imperative Programming with Higher-order Functions, Draft paper, July 2003.
[ PDF | more information ]

Manuals

Martin Grabmüller: Turtle Reference Manual, included in the Turtle distribution, February 2003.
[ PDF | more information ]

Mark Galassi, Jim Blandy, Gary Houston, Tim Pierce, Neil Jerram, and Martin Grabmüller: Guile Reference Manual, included in the Guile Distribution, September 2002.
[ PDF | more information ]

Martin Grabmüller: Sizzle Reference Manual, included in the Sizzle distribution, December 2000.
[ PDF | more information ]

Martin Grabmüller: Sizzle Embedding Manual, included in the Sizzle distribution, December 2000.
[ PDF | more information ]