[Home]

Publications

References are listed in reverse chronological order. Comments and questions welcome.


Simon Thompson, Claus Reinke and Huiqing Li
Refactoring Functional Programs (GR/R75052/01) -- Final Report,
Huiqing Li, Simon Thompson and Claus Reinke
The Haskell Refactorer, HaRe, and its API,
(tool demo) Fifth workshop on Language Descriptions, Tools and Applications, Edinburgh, April 2005,

Claus Reinke
Tool Support for Haskell-Coloured Petri Nets (extended abstract)
Implementation and Applications of Functional Languages, IFL'2004 Lübeck, Germany, September 7-10, 2004, draft proceedings

Huiqing Li, Claus Reinke and Simon Thompson
Tool Support for Refactoring Functional Programs
to appear in ACM Sigplan Haskell Workshop, August 25, 2003, Uppsala, Sweden.
Simon Thompson and Claus Reinke
A Case Study in Refactoring Functional Programs
Invited presentation at 7th Brazilian Symposium on Programming Languages, May 2003

Claus Reinke
FunWorlds/HOpenGL -- Functional Programming and Virtual Worlds
draft paper presented at IFL 2002, Madrid, Spain, September 16th - 18th, 2002

Simon Thompson and Claus Reinke
Refactoring Functional Programs
Technical Report 16-01, Computing Laboratory, University of Kent at Canterbury, October 2001.

Simon Thompson and Claus Reinke
Refactoring Functional Programs
case for support

Claus Reinke
FunWorlds -- Functional Programming and Virtual Worlds
draft presented at IFL 2001, Stockholm, Sweden, September 24-26

Claus Reinke
GHood -- Graphical Visualisation and Animation of Haskell Object Observations
ACM SIGPLAN 2001 Haskell Workshop, Firenze, Italy, 2nd September 2001

Claus Reinke
Haskell-Coloured Petri Nets
Implementation of Functional Languages, 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999, Selected Papers, Springer LNCS, vol. 1868, pp. 165-180

Claus Reinke
Towards a Haskell/Java connection
Implementation of Functional Languages 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers, Springer LNCS, vol. 1595, pp. 203-219

Wolfgang Hielscher, Lars Urbszat, Claus Reinke, and Werner Kluge
On Modelling Train Traffic in a Model Train System
First Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, 1998

Claus Reinke
On functional programming, language design, and persistence
Technical Report NOTTCS-TR-98-2, Nottingham, July 1998.

Claus Reinke
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

PhD thesis, Faculty of Engineering, University of Kiel, August 1997 (published as Technical Report No. 9804, Institute of Computer Science, University of Kiel, May 1998)


Claus Reinke
Functions, Frames, and Interactions (advocating first class modules)
Extended abstract, Proceedings of the Kolloquium 'Grundlagen der Programmierung', near Passau, Germany, 1995
Claus Reinke
Functions, Frames, and Interactions
Proceedings of the Workshop on the Implementation of Functional Languages, Bastad, Sweden, 1995

Claus Reinke
Elemente einer kombinierten funktionalen/logischen Sprache (Ein Konzept für die Erweiterung einer Reduktionssprache)
MSc thesis, University of Kiel, May 1991