Publications

The references are listed in reverse chronological order (click on the icons for further information/download). Comments and questions are 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