Publications

Clean is used in scientific research all over the world. This page provides an overview of Clean related scientific publications.

2008

1. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In Hudak, P. and Warren, D.S. Eds. Proceedings of 10th International Symposium on Practical Aspects of Declarative Languages, PADL08, San Francisco, CA, USA, January 7-8, 2008, Springer, LNCS 4902, pp. 299-315.

2007

1. Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. An Arrow Based Semantics for Interactive Applications. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA (bib).
2. Marko van Eekelen, Maarten de Mol. Proving Lazy Folklore with Mixed Lazy/Strict Semantics. In Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (Eds.) Reflections on Type Theory, l-Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday. December 17 2007. Radboud University Nijmegen, The Netherlands. ISBN 978-90-9022446-6, pp. 87-100 (bib).
3. Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. Efficient Interpretation by Transforming Data Types and Patterns to Functions. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 73-90.
4. Pieter Koopman, Rinus Plasmeijer. Systematic Synthesis of Functions. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 35-54.
5. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.

Older publications

See the publications page of the ST group at the Radboud University Nijmegen for older Clean related publications.