![[publications logo]](../graphics/publications.png)
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.
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 ]
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 ]
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 ]
Martin Grabmüller: Constraint Imperative Programming,
Diploma thesis, Technische
Universität Berlin, February 2003.
[ PDF | more information ]
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 ]
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 ]