Home page of Artem Alimarine

I am a PhD student at the Software Technology Group at the University of Nijmegen . My research is about generic functional programming. I have implemented a generic programming extension for Clean, a pure functional language designed at our group. Clean (with the generic programming extension) can be downloaded here .

Contact information

Name: Artem Alimarine
Phone: +31 24 3652162
Mail: Artem Alimarine
Faculty of Science
University of Nijmegen
Postbus 9010
6500 GL Nijmegen
The Netherlands
E-mail: alimarin@cs.kun.nl
Visiting address: Room A4024
Faculty of Science
Toernooiveld 1
Nijmegen

Publications

Artem Alimarine and Rinus Plasmeijer.
A Generic Programming Extension for Clean.
In: Arts, Th., Mohnen, M. eds. Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01,
A"lvsjo", Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory,
pp.257-278.
abstract - BibTeX - PS - PS.GZ - PDF - PDF.GZ

Peter Achten, Artem Alimarine, Rinus Plasmeijer.
When Generic Functions Use Dynamic Values.
In: Pen~a, R. ed. Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670.
abstract - BibTeX - PS - PS.GZ - PDF - PDF.GZ

Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer.
Gast: Generic Automated Software Testing.
In Pen~a, R. ed. Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670.
abstract - BibTeX - PS - PS.GZ - PDF - PDF.GZ

Artem Alimarine and Sjaak Smetsers.
Optimizing Generic Functions.
Accepted for publication at Mathematics of Program Construction (MPC 2004).
abstract - BibTeX - PS - PS.GZ - PDF - PDF.GZ