Publications

From Clean
Revision as of 13:13, 22 February 2008 by Bas Lijnse (Talk | contribs)
Jump to: navigation, search

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.
  6. Pieter Koopman, Peter Achten, Rinus Plasmeijer. On the Validation of Specifications used in Model-Based Testing. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 230-231 (bib).
  7. Pieter Koopman, Rinus Plasmeijer. Systematic Synthesis of l-Terms. 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. 211-222 (bib).
  8. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.
  9. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving properties of lazy functional programs with Sparkle. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
  10. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof-Assistants. In Schuerr, A., Nagl, M. and Zuendorf, A. Eds. Proceedings of Selected and Invited Papers of Applications of Graph Transformations with Industrial Relevance, Third Internation Symposium, AGTIVE 2007, Kassel, Germany, 2007, pp. 181-197.
  11. Rinus Plasmeijer, Peter Achten. A Conference Management System based on the iData Toolkit. In Horvath, Z. and Zsok, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Selected Papers, September 4-6, 2006, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449.
  12. Rinus Plasmeijer, Peter Achten, Pieter Koopman. iTasks: Executable Specifications of Interactive Work Flow Systems for the Web. In Ramsey, N. Ed. Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07), Freiburg, Germany, October 1-3, 2007, ACM, ISBN 978-1-59593-815-2, pp. 141-152.
  13. Rinus Plasmeijer, Peter Achten, Pieter Koopman. An Introduction to iTasks: Defining Interactive Work Flows for the Web - Draft version -. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
  14. Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten. Transparant Ajax and Client-Site Evaluation of iTasks. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 252-253.
  15. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. Uniqueness Typing Redefined. In Horvath, Z. and Zsok, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Selected Papers, September 4-6, 2006, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449.
  16. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. Equality Based Uniqueness Typing. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
  17. Edsko de Vries, Rinus Plasmeijer, David Abrahamson. Uniqueness Typing Simplified. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 416-430.
  18. Arjen van Weelden. Putting Types To Good Use. PhD Thesis. October 2007. Radboud University Nijmegen. ISBN 978-90-9022041-3.
  19. Erik Zuurbier, Rinus Plasmeijer. Car Damage Subrogation Workflow - an iTask exercise. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 232.

Older publications

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

Personal tools