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