Difference between revisions of "ST Publications"

From Clean
Jump to navigationJump to search
Line 46: Line 46:
  
 
==2011==
 
==2011==
# Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort, John van Groningen. iTasks for a change - Type-safe run-time change in dynamically evolving workflows. Accepted for publication in Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, to appear.
+
# Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort, John van Groningen. iTasks for a change - Type-safe run-time change in dynamically evolving workflows. proc. of the 20th International Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, ACM, pp. 151 - 160.
 
# Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels. Getting a Grip on Tasks that Coordinate Tasks. Invited Paper. proc. of the 11th International Workshop on Language Descriptions, Tools and Applications, LDTA '11, Saarbrucken, ACM, pp. 1 - 7
 
# Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels. Getting a Grip on Tasks that Coordinate Tasks. Invited Paper. proc. of the 11th International Workshop on Language Descriptions, Tools and Applications, LDTA '11, Saarbrucken, ACM, pp. 1 - 7
 
# Viktoria Zsok, Pieter Koopman, Rinus Plasmeijer. Generic Executable Semantics for D-Clean. proc. of the 3th International Workshop on Generative Technologies, WGT '11, pp. 1- 12.
 
# Viktoria Zsok, Pieter Koopman, Rinus Plasmeijer. Generic Executable Semantics for D-Clean. proc. of the 3th International Workshop on Generative Technologies, WGT '11, pp. 1- 12.

Revision as of 08:52, 30 March 2011


This is a list of publications of the Software Technology group of the MBSD section of the CS department of the University of Nijmegen. The list is ordered by year of appearence.

If you encounter problems, please send an e-mail to clean@cs.ru.nl. Some of the older papers and PhD Theses are not available electronically. If you like to have a copy by surface-mail you are also invited to send an e-mail. The authors can of course also be contacted personally.

Table of Contents

2010 2011
2000 2001 2002 2003 2004 2005 2006 2007 2008 2009
1990 1991 1992 1993 1994 1995 1996 1997 1998 1999
1985 1986 1987 1988 1989

2011

  1. Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort, John van Groningen. iTasks for a change - Type-safe run-time change in dynamically evolving workflows. proc. of the 20th International Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, ACM, pp. 151 - 160.
  2. Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels. Getting a Grip on Tasks that Coordinate Tasks. Invited Paper. proc. of the 11th International Workshop on Language Descriptions, Tools and Applications, LDTA '11, Saarbrucken, ACM, pp. 1 - 7
  3. Viktoria Zsok, Pieter Koopman, Rinus Plasmeijer. Generic Executable Semantics for D-Clean. proc. of the 3th International Workshop on Generative Technologies, WGT '11, pp. 1- 12.

2010

  1. Peter Achten. Het SoccerFun project: functioneel programmeren in het onderwijs met behulp van voetbal. In Vodegel, F., Loots, M. Eds. NIOC Proceedings Het Nationale Informatica Onderwijs Congres (NIOC) 2009, 7-8 april 2009, Utrecht, The Netherlands, Hogeschool Utrecht, pp. 128-134.
  2. Peter Achten. The Soccer-Fun project (educational pearl). Journal of Functional Programming, Available on CJO 19 Mar 2010 doi:10.1017/S0956796810000055.
  3. John van Groningen, Thomas van Noort, Peter Achten, Pieter Koopman, Rinus Plasmeijer. Exchanging Sources Between Clean and Haskell - A Double-Edged Front End for the Clean Compiler. In Jeremy Gibbons, Ed. Proceedings of the 2010 ACM SIGPLAN Haskell Symposium, Baltimore, Maryland, USA, September 30, 2010, ISBN:978-1-4503-0252-4, ACM, pp.49-60.
  4. Jeroen Henrix, Rinus Plasmeijer, Peter Achten. Gin: Graphical iTask Notation [extended abstract]. In Jurriaan Hage, Ed. Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, September 1-3 2010, Alphen aan den Rijn. Technical Report UU-CS-2010-020, ISSN: 0924-3275, Utrecht University, Utrecht, the Netherlands.
  5. Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman, Eds. Trends in Functional Programming, Volume 10. Proceedings 10th Symposium on Trends in Functional Programming, TFP'09. Selye János University, Komárno, Slovakia, June 2-4 2009, Intellect publishers, ISBN 978-1-84150-158-1.
  6. Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók, Eds. Revised Selected Lectures of the Central European Functional Programming School. Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009, and Komárno, Slovakia, May 25-30, 2009. Springer-Verlag, LNCS 6299, ISSN 0302-9743.
  7. Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman, Peter Achten. Embedding a Web-Based Workflow Management System in a Functional Language - Experience paper. In Claus Brabrand, Pierre-Etienne Moreau, Eds. Proceedings 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 27-28, 2010, pp. 79-93.
  8. Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer. Towards Dynamic Workflows for Crisis Management. In Simon French, Brain Tomaszewski, Cristopher Zobel, Eds. Proceedings of the 7th International Conference on Information Systems for Crisis Response and Management, ISCRAM'10, Seattle, WA, USA, may 2010.
  9. Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer. Web Based Dynamic Workflow Systems for C2 of Military Operations. Accepted in 15th ICCRTS, Santa Monica, California, June 22-24, 2010.
  10. Pieter Koopman, Rinus Plasmeijer. Testing with Functional Reference Implementations. Accepted for Proceedings 11th Symposium on Trends In Functional Programming, TFP 2010, University of Oklahoma, May 17-19, 2010, to appear.
  11. Pieter Koopman, Rinus Plasmeijer. Synthesis of Functions Using Generic Programming. In Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer, Eds. Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Springer, LNCS 5812, ISBN 978-3-642-11930-9, pp 25-49.
  12. Pieter Koopman, Rinus Plasmeijer, Peter Achten. An Effective Methodology for Defining Consistent Semantics of Complex Systems. In Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók, Eds. Central European Functional Programming School, Lecture Notes in Computer Science, 2010, Volume 6299/2010, 224-267.
  13. Bas Lijnse, Rinus Plasmeijer. iTasks 2: iTasks for End-users. In Marco T. Morazán, Sven-Bodo Scholz. Eds. Revised Selected Papers of the 21st Symposium on Implementation and Application of Functional Languages, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA. Springer-Verlag, LNCS 6041, pp.36-54.
  14. Bas Lijnse, Erik Crombag, Rinus Plasmeijer. The Usual Tasks: A Library for Ad-Hoc Work in iTasks [extended abstract]. In Jurriaan Hage, Ed. Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, September 1-3 2010, Alphen aan den Rijn. Technical Report UU-CS-2010-020, ISSN: 0924-3275, Utrecht University, Utrecht, the Netherlands.
  15. Steffen Michels, Rinus Plasmeijer, Peter Achten. iTask as a new paradigm to building GUI applications [extended abstract]. In Jurriaan Hage, Ed. Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, September 1-3 2010, Alphen aan den Rijn. Technical Report UU-CS-2010-020, ISSN: 0924-3275, Utrecht University, Utrecht, the Netherlands.
  16. Thomas van Noort, Peter Achten, Rinus Plasmeijer. A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. In Marco T. Morazán, Sven-Bodo Scholz. Eds. Revised Selected Papers of the 21st Symposium on Implementation and Application of Functional Languages, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA. Springer-Verlag, LNCS 6041, pp.179-197.
  17. Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Accepted for publication in Journal of Functional Programming, Cambridge University Press.
  18. Thomas van Noort, Peter Achten, Rinus Plasmeijer. Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language. In Bruno Oliveira and Marcin Zalewsk, Eds. Proceedings of the 6th Workshop on Generic Programming, WGP 2010, Baltimore, Maryland, USA, September 26, 2010, ACM, pp.73-84.
  19. Rinus Plasmeijer, Peter Achten, Pieter Koopman. Generic Functions Dynamically Applied - keynote talk. In Zoltán Porkoláb, Norbert Pataki, Eds. Proceedings Workshop on Generative Technologies (WGT'10), Paphos, Cyprus, March 27, 2010, pp. 1-2, ISBN 978-963-284-140-3.
  20. Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer, Eds. Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Springer, LNCS 5812, ISBN 978-3-642-11930-9.

2009

  1. Peter Achten, Pieter Koopman, Marco T. Morazán, Eds. Trends in Functional Programming, Center Parcs "Het Heijderbos", The Netherlands, May 26-28 2008, Volume 9, Intellect publisher, ISBN 978-1-84150-277-9.
  2. Arjen Hommersom, Peter J.F. Lucas, René Waarsing, Pieter Koopman. Applying Bayesian Networks for Intelligent Adaptable Printing Systems. In Proceedings Seventh Workshop on Intelligent Solutions in Embedded Systems, WISES'09, Ancona, Italy, June 25-26, 2009.
  3. Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman, Eds. Draft Proceedings Tenth Symposium on Trends in Functional Programming, Komárno, Slovakia, 2-4 june 2009, Selye János University, Komárno and Eötvös Loránd University, Budapest, ISBN 978-963-284-076-5.
  4. Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman. iEditors: Extending iTask with Interactive Plug-ins. To appear in Selected Papers Proceedings 20th International Symposium on the Implementation and Application of Functional Languages, University of Hertfordshire, United Kingdom, 10-12 September, 2008, Springer, LNCS 5836.
  5. Pieter Koopman, Rinus Plasmeijer, Peter Achten. An Executable and Testable Semantics for iTasks. To appear in Selected Papers Proceedings 20th International Symposium on the Implementation and Application of Functional Languages, University of Hertfordshire, United Kingdom, 10-12 September, 2008, Springer, LNCS 5836.
  6. Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra, Eds. Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures, Center Parcs "Het Heijderbos", The Netherlands, May 19-24 2008, LNCS 5832, ISBN-13 978-3-642-04651-3, Springer.
  7. Bas Lijnse, Rinus Plasmeijer. Between Types and Tables - Using Generic Programming for Automated Mapping Between Data Types and Relational Databases. To appear in Selected Papers Proceedings 20th International Symposium on the Implementation and Application of Functional Languages, University of Hertfordshire, United Kingdom, 10-12 September, 2008, Springer, LNCS 5836.
  8. Bas Lijnse, Rinus Plasmeijer. iTasks for End-users. In Marco T. Morazán, Ed. Proceedings 21st Symposium on Implementation and Application of Functional Languages, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA, Technical Report SHU-TR-CS-2009-09-1, pp. 22-23. To appear as revised paper.
  9. Maarten de Mol. Reasoning About Functional Programs - Sparkle: a proof assistant for Clean. PhD Thesis. March 2009. Radboud University Nijmegen. ISBN 978-90-9023885-2.
  10. Thomas van Noort, Peter Achten, Rinus Plasmeijer. A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. In Marco T. Morazán, Ed. Proceedings 21st Symposium on Implementation and Application of Functional Languages, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA, Technical Report SHU-TR-CS-2009-09-1, pp. 263-273. To appear as revised paper.
  11. Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort. An iTask case study: a conference management system. In Koopman, P., Plasmeijer, R., Swierstra, D. Eds. Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures, Center Parcs "Het Heijderbos", The Netherlands, May 19-24 2008, LNCS 5832, Springer, pp. 306-329.
  12. Mark Loos, Ad M.J. Ragas, Rinus Plasmeijer, Aafke M. Schipper, A. Jan Hendriks. Eco-SpaCE: An object-oriented, spatially explicit model to assess the risk of multiple environmental stressors on terrestrial vertebrate populations. Sci Total Environ (2009), doi:10.1016/j.scitotenv.2009.11.045.

2008

  1. Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. A Common Arrow Based Semantics for GEC and iData Applications. Technical Report ICIS-R08023, Radboud University Nijmegen.
  2. Peter Achten. Teaching Functional Programming with Soccer-Fun. In Frank Huch, Adam Parkin, Eds. Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education (FDPE'08). Victoria (BC) Canada, September 21, 2008, ISBN:978-1-60558-068-5, pp. 61-72, 2008. abstract bib
  3. Peter Achten, Pieter Koopman, Marco T. Morazán. Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP'08), May 26-28 2008, Center Parcs "Het Heijderbos", The Netherlands. Technical Report: ICIS-R08007, May 2008, Radboud University Nijmegen, 2008.
  4. Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók (Eds.) 2nd Central European Functional Programming School, CEFP 2007, Cluj-Napoca, Romania, June 2007, Revised Selected Lectures, Springer, LNCS 5161.
  5. Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. From Interpretation to Compilation. In Horváth, Plasmeijer, Soós, Zsók, Eds. 2nd Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania. Springer LNCS 5161, pp. 286-301, 2008. abstract bib
  6. Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. Web based Dynamic Workflow Systems and Applications in the Military Domain. In Hupkens, Th. and Monsuur, H. Eds. NL ARMS, Netherlands Annual Review of Military Studies 2008, Sensors, Weapons, C4I and Operations Research, ISSN: 0166-9982, pp. 43-59. bib
  7. Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman. iEditors: Extending iTask with Interactive Plug-ins. In Scholz, S-B. Ed. Proceedings Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, Hatfield, Hertfordshire, UK, 10-12 September 2008, Technical Report No. 474, September 2008, University of Hertfordshire, pp. 170-186. abstract bib
  8. 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. (bib)
  9. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Testing and Validating the Quality of Specifications. In 2008 IEEE International Conference on Software Testing Verification and Validation Workshop on Advances in Model Based Testing (A-MOST 2008), Lillehammer, Norway, April 9-11, 2008, pp. 41-52. abstract bib IEEE Xplore
  10. Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08), May 19-24 2008, Center Parcs "Het Heijderbos", The Netherlands. Technical Report: ICIS-R08008, May 2008, Radboud University Nijmegen, 2008.
  11. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Validating Specifications for Model-Based Testing. In Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08), Monte Carlo Resort, Las Vegas, Nevada, USA, July 14-17, 2008, CSREA Press, pp. 231-237 (Volume I).
  12. Pieter Koopman, Rinus Plasmeijer, Peter Achten. An Executable and Testable Semantics for iTasks. In Scholz, S-B. Ed. Proceedings Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, Hatfield, Hertfordshire, UK, 10-12 September 2008, Technical Report No. 474, September 2008, University of Hertfordshire, pp.53-64.
  13. Bas Lijnse. Between Types and Tables: Generic Mapping Between Relational Databases and Data Structures in Clean. Master Thesis 590. Radboud University Nijmegen, July 2008. bib
  14. Bas Lijnse, Rinus Plasmeijer. Between Types and Tables. Using Generic Programming for Automated Mapping Between Data Types and Relational Databases. In Scholz, S-B. Ed. Proceedings Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, Hatfield, Hertfordshire, UK, 10-12 September 2008, Technical Report No. 474, September 2008, University of Hertfordshire, pp.115-130. abstract bib
  15. Loos M, Ragas AMJ, Hendriks AJ, Plasmeijer MJ. Ecological and Spatially explicit Cumulative & Exposure model (Eco-SpaCE), an individual-based ecological exposure model for terrestrial vertebrates in an object-oriented programming platform. Department of Environmental Science, Radboud University, Nijmegen, the Netherlands; 2008. 61 pp.
  16. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving properties of lazy Functional Programs with Sparkle. In Horváth, Plasmeijer, Soós, Zsók, Eds. 2nd Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania. Springer LNCS 5161, pp. 41-86, 2008. abstract bib
  17. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A single-step term-graph reduction system for proof assistants. In Andy Schürr, Manfred Nagl, and Albert Zündorf, Eds. Selected Papers of the 3rd International Workshop and Symposium on Graph Transformations with Industrial Relevance, AGTIVE'07, Springer LNCS 5088, pp. 184-200.
  18. Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. A Lightweight Approach to Datatype-Generic Rewriting. In Ralf Hinze, Don Syme, Eds. Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008. Victoria (BC) Canada, September 20, 2008, pp. 13-24, ACM press. abstract bib
  19. Rinus Plasmeijer, Peter Achten, Pieter Koopman. An Introduction to iTasks: Defining Interactive Work Flows for the Web. In Horváth, Plasmeijer, Soós, Zsók, Eds. 2nd Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania. Springer LNCS 5161, pp.1-40. abstract bib Springer-link
  20. Rinus Plasmeijer, Peter Achten, Pieter Koopman. Executable Specifications of Interactive Workflow Systems for the Web with the iTasks Toolkit. Revised selected paper of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07), Freiburg, Germany, October 1-3, 2007. Under consideration for publication in Journal of Functional Programming.
  21. Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort. Specifying Interactive Work Flows for the Web. In Koopman, P., Plasmeijer, R., Swierstra, D. Eds. Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08), May 19-24 2008, Center Parcs "Het Heijderbos", The Netherlands, pp. 7-47.
  22. Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten. Declarative Ajax and Client Side Evaluation of Workflows using iTasks. In Proceedings 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08). July 15-17 2008, Valencia, Spain, pp.56-66.
  23. Rinus Plasmeijer, Sjaak Smetsers, Arjen van Weelden. Interactive Combining of Typed Object Code. Under consideration for publication in Journal of Functional Programming.
  24. Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer. Efficient and Type-Safe Generic Data Storage. In Workshop on Generative Technologies, Budapest, Hungary, april 5 2008. (bib)
  25. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. Uniqueness Typing Simplified. In Chitil, O. Eds. Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Selected Papers, Freiburg, Germany, 27-29 september 2007, Springer, LNCS 5083, pp. 201-218. (bib)

2007

  1. Peter Achten. Clean for Haskell98 Programmers - A Quick Reference Guide. July 13 2007. Single paged note that summarizes the main differences between Clean and Haskell98. It serves as a quick reference guide when reading Clean code. bib
  2. Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. An Arrow Based Semantics for Interactive Applications. In M. Morazán, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA (bib).
  3. 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).
  4. 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, Volume 7. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 73-90. abstract bib
  5. 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.
  6. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In M. Morazán, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
  7. 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).
  8. 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).
  9. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, Nov. 2007, Institute for Computing and Information Sciences, Radboud University Nijmegen.
  10. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving properties of lazy functional programs with Sparkle. In Horváth, Z. Ed. Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
  11. 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.
  12. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving Confluence of Term-Graph Reduction for Sparkle. Technical Report ICIS-R07012, Institute for Computing and Information Sciences, Radboud University Nijmegen, 2007.
  13. Rinus Plasmeijer, Peter Achten. A Conference Management System based on the iData Toolkit. In Horváth, Z. and Zsók, 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, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449, pp.108-125.
  14. 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. bib
  15. 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.
  16. Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten. Transparant Ajax and Client-Site Evaluation of iTasks. In Chitil, O. Ed. Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, 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.
  17. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. Uniqueness Typing Redefined. In Horváth, Z. and Zsók, 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, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449, pp.181-198.
  18. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. Equality Based Uniqueness Typing. In M. Morazán, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
  19. 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.
  20. Arjen van Weelden. Putting Types To Good Use. PhD Thesis. October 2007. Radboud University Nijmegen. ISBN 978-90-9022041-3.
  21. 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.

2006

  1. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Towards A Unified Semantic Model for Interactive Applications. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, 19-21 April 2006, The University of Nottingham, pp.279-292.
  2. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. A Unified Semantic Model For Interactive Applications Using iData and Generic Editors (abstract). In Horváth, Z. and Zsók, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, September 4-6, 2006, Budapest, Hungary, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Technical Report No:2006-S01, ISBN:9634638767, pp.205.
  3. Marko van Eekelen, Maarten de Mol. Proof Tool Support for Explicit Strictness. In Andrew Butterfield, Clemens Grelck, Frank Huch, Eds. Selected Papers from the 17th International Workshop on Implementation of Functional Languages, IFL2005, Dublin, Ireland, Springer, LNCS 4015, pp. 37-54, 2006.
  4. 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, Nottingham, UK, 19-21 April 2006, The University of Nottingham, pp. 157-172.
  5. Johan Jeuring and Rinus Plasmeijer. Generic Programming for Software Evolution. In Duchien, L., D'Hondt, M., Mens, T. Eds. Proceedings of the 2nd International ERCIM Workshop on Software Evolution 2006, IWPSE'06, LIFL - INRIA, Universite des Sciences et Technologies de Lille, France, April 6-7, 2006, pp. 97-104. (Also available as Technical report Utrecht University UU-CS-2006-024, 2006).
  6. Pieter Koopman, Rinus Plasmeijer. Systematic Synthesis of Functions. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, 19-21 April 2006, The University of Nottingham, pp.68-83.
  7. Pieter Koopman, Rinus Plasmeijer, Peter Achten. Model-Based Testing of Thin-Client Web Applications. In Havelund, K. Ed. Proceedings of the 6th International Workshop on Formal Approaches to Testing and Runtime Verification (FATES/RV06), Seattle, August 2006, Springer, LNCS 4262, 2006, pp.115-132.
  8. Pieter Koopman, Rinus Plasmeijer. Fully Automatic Testing with Functions as Specifications. Central-European Functional Programming School - Revised Selected Lectures, 4-16 july 2005. Eötvös Loránd University, Budapest, Hungary, Springer, LNCS 4164, pp. 35-61. (Springer-link)
  9. Pieter Koopman, Rinus Plasmeijer. Automatic Testing of Higher Order Functions. In Kobayashi, N. Ed. Proceedings of The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS2006), November 8-10, 2006, University of New South Wales, Sydney, Australia, Springer, LNCS 4279, 2006, pp. 148-164.
  10. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Browser Actions (extended abstract). In Horváth, Z. and Zsók, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, September 4-6, 2006, Budapest, Hungary, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Technical Report No:2006-S01, ISBN:9634638767, pp.349-351.
  11. Betsy Pepels, Rinus Plasmeijer. Generating Information Systems Applications: a Research Proposition. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, 19-21 April 2006, The University of Nottingham, pp.293-308.
  12. Betsy Pepels, Rinus Plasmeijer and Erik Proper. Fact-oriented modeling from a programming language designer's perspective. In Proceedings of the 2nd International Workshop on Object-Role Modeling (ORM2006), 29 Oct-3 Nov, 2006, Montpellier, France, Springer, LNCS 4278, pp.1170-1180.
  13. Rinus Plasmeijer, Peter Achten. iData For The World Wide Web - Programming Interconnected Web Forms. Eighth International Symposium on Functional and Logic Programming, FLOPS 2006, April 24-26 2006, Fuji Susone, Japan, Springer, LNCS 3945, pp.242-258.
  14. Rinus Plasmeijer, Peter Achten. The Implementation of iData - A Case Study in Generic Programming. In Butterfield, A., Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages - Revised Selected Papers, 17th International Workshop, IFL05, Dublin, Ireland. September 19-21 2005. Department of Computer Science, Trinity College, University of Dublin, Springer, LNCS 4015, pp.106-123.
  15. Rinus Plasmeijer, Peter Achten. [1]Generic Editors for the World Wide Web. Central-European Functional Programming School - Revised Selected Lectures, 4-16 july 2005. Eötvös Loránd University, Budapest, Hungary, Springer, LNCS 4164, pp.1-34. (Springer-link)
  16. Rinus Plasmeijer, Peter Achten. A Conference Management System based on iData (abstract). In Horváth, Z. and Zsók, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, September 4-6, 2006, Budapest, Hungary, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Technical Report No:2006-S01, ISBN:9634638767, pp.167.
  17. Sjaak Smetsers, Arjen van Weelden. Bracket abstraction Preserves Typability - A formal proof of Diller-algorithm-C in PVS. In Levy, J. Ed. Proceedings 20th International Workshop on Unification (UNIF'06), August 11, 2006, Seattle, Washington, pp. 29-43.
  18. Edsko de Vries, Rinus Plasmeijer, David Abrahamson. Uniqueness Typing Redefined. In Horváth, Z. and Zsók, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, September 4-6, 2006, Budapest, Hungary, Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Technical Report No:2006-S01, ISBN:9634638767, pp.230-245.
  19. Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer. Polytypic Syntax Tree Operations. In Butterfield, A. Ed. Proceedings Implementation and Application of Functional Languages - Revised Selected Papers, 17th International Workshop, IFL05, Dublin, Ireland. September 19-21 2005. Springer, LNCS 4015, pp.142-159.

2005

  1. Peter Achten. [2]The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. In Grelck, C. Huch, F., Michaelson, G.J., Trinder, Ph. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004. Springer, LNCS 3474, pp.17-34. abstract, pdf.
  2. Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Programming Generic Graphical User Interfaces. Internal report, february 2005. Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. abstract, pdf.
  3. Artem Alimarine, Sjaak Smetsers. Improved Fusion for Optimizing Generics. In Hermenegildo, M., Cabeza, D. Eds. Proceedings of Seventh International Symposium on Practical Aspects of Declarative Languages (PADL 2005), Long Beach, CA, USA, January 2005, Springer, LNCS 3350, pp.203-218. abstract.
  4. Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer. There and Back Again - Arrows for Invertible Programming. In Leijen, D. Ed. Proceedings of the 9th Haskell Workshop, Haskell'05, Tallinn, Estonia, 30 september 2005, ACM Press, pp.86-98. abstract.
  5. Artem Alimarine. Generic Functional Programming - Conceptual Design, Implementation and Applications. PhD Thesis. September 2005. Radboud University Nijmegen. ISBN 90-9019574-2.
  6. A. Belinfante, Frantzen, L., Schallhart, C. Tools for Test Case Generation. In Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M, Pretschner, A. Model-Based Testing of Reactive Systems - A Seminar Volume. Springer-Verlag, LNCS 3472, 2005, pp.391-438.
  7. Malcolm Dowse, Andrew Butterfield, Marko van Eekelen. Reasoning About Deterministic Concurrent Functional I/O. In Grelck, C. Huch, F., Michaelson, G.J., Trinder, Ph. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004. Springer, LNCS 3474, pp. 469-480.
  8. Sander Evers, Peter Achten, Jan Kuper. A Functional Programming Technique for Forms in Graphical User Interfaces. In Grelck, C. Huch, F., Michaelson, G.J., Trinder, Ph. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004. Springer, LNCS 3474, pp.35-51. abstract.
  9. Sander Evers, Peter Achten, Rinus Plasmeijer. Disjoint Forms in Graphical User Interfaces. In Loidl, H.W. Ed. Proceedings of the Fifth Symposium on Trends in Functional Programming (TFP 2004), Ludwig Maximilians Universitaet Muenchen, 2004, Intellect Books, pp.113-128. abstract.
  10. Lars Frantzen, Jan Tretmans, Tim Willemse. Test Generation based on Symbolic Specifications. In Grabowski, J. Nielsen, B. Eds. Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software (FATES 2004). Springer, LNCS 3395. abstract.
  11. Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. [3]Data Types and Pattern Matching by Function Application. In Butterfield, A. Ed. Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, Dublin, Ireland. September 19-21 2005. Department of Computer Science, Trinity College, University of Dublin, Technical Report No: TCD-CS-2005-60. abstract.
  12. Pieter Koopman. Testing with functions as specifications. In Brinksma, E., Grieskamp, W. Tretmans, J. Eds. Perspectives of Model-Based Testing, Dagstuhl Seminar Proceedings, 04371, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005.
  13. Pieter Koopman, Rinus Plasmeijer. Testing Higher Order Functions (extended abstract). In Butterfield, A. Ed. Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, Dublin, Ireland. September 19-21 2005. Department of Computer Science, Trinity College, University of Dublin, Technical Report No: TCD-CS-2005-60. abstract.
  14. Pieter Koopman, Rinus Plasmeijer. Generic Generation of Elements of Types. In van Eekelen, M. Ed. Sixth Symposium on Trends in Functional Programming (TFP2005), Tallin, Estonia, September 23-24, 2005, pp.163-178, Intellect Books, ISBN 978-1-84150-176-5. abstract.
  15. Pieter Koopman, Rinus Plasmeijer. [4]Testing with Functions as Specifications. Central-European Functional Programming School, 4-16 july 2005. Eötvös Loránd University, Budapest, Hungary.
  16. Betsy Pepels, Rinus Plasmeijer. Generating Applications from Object Role Models (pdf). In R. Meersman Ed., Proceedings of the OTM Workshops 2005, OnTheMove - OTM 2005 Federated Conferences and Workshops, Agia Napa, Cyprus, 31 Oct - 4 Nov 2005, Springer, LNCS 3762, pp 656-665. abstract.
  17. Rinus Plasmeijer, Peter Achten. Generic Editors for the World Wide Web. In Proceedings of the 1st Central-European Functional Programming School, 4-16 july 2005. Eötvös Loránd University, Budapest, Hungary. abstract.
  18. Rinus Plasmeijer, Peter Achten. [5]The Implementation of iData - A Case Study in Generic Programming. In Butterfield, A. Ed. Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, Dublin, Ireland. September 19-21 2005. Department of Computer Science, Trinity College, University of Dublin, Technical Report No: TCD-CS-2005-60. abstract.
  19. Rinus Plasmeijer, Peter Achten, Javier Pomer Tendillo. iData For The World Wide Web - Generic Programming Techniques for High-Level Server-Side Web Scripting. Internal Report, February 2005. Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. abstract.
  20. Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter Koopman, Jan Tretmans. On-the-fly Formal Testing of a Smart Card Applet. In Sasaki, R., Qing, S., Okamoto, E., Yoshiura, H. Eds. Proceedings of the 20th International Information Security Conference, SEC'05, Makuhari Messe, Chiba, Japan, May 2005, Springer-Verlag. (Also available as Technical Report NIII-R0428).
  21. Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer. A Generic Approach to Syntax Tree Operations. In Butterfield, A. Ed. Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, Dublin, Ireland. September 19-21 2005. Department of Computer Science, Trinity College, University of Dublin, Technical Report No: TCD-CS-2005-60.
  22. Ronny Wichers Schreur, Rinus Plasmeijer. Dynamic Construction of Generic Functions. In Grelck, C. Huch, F., Michaelson, G.J., Trinder, Ph. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004. Springer, LNCS 3474, pp.160-176. (bib)

2004

  1. Peter Achten. [6]Interactively Probing Quiescent Properties of Object I/O Applications - A Feasibility Study - . Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universitaet zu Kiel, pp.153-168. abstract, pdf.
  2. Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. GEC: a Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. In Vene, V., Uustalu, T. Eds. 5th International School on Advanced Functional Programming, AFP2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Springer, LNCS 3622, pp.210-244. abstract, pdf.
  3. Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Arrows for Generic Graphical Editor Components. Technical Report NIII-R0416, Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. abstract, pdf.
  4. Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Automatic Generation of Editors for Higher-Order Data Structures. In Chin, W-N. Ed. Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004, Springer, LNCS 3302, pp.262-279. abstract. (Also available as Technical Report NIII-R0427).
  5. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Compositional Model-Views with Generic Graphical User Interfaces. In Jayaraman, ed. Proceedings Practical Aspects of Declarative Programming, PADL04, Dallas, Texas, USA, June 18-19 2004. Springer, LNCS 3057, pp.39-55. abstract, pdf. (Also available as Technical Report NIII-R0408)
  6. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Generic Graphical User Interfaces. In Michaelson, G., Trinder, Ph. Eds. Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Selected Papers, Edinburgh, Scotland, September 8-10, 2003. Springer, LNCS 3145, pp.152-167. abstract, pdf (improved version of [#2003-achp2003-GenericGUI below]).
  7. Artem Alimarine and Sjaak Smetsers. Efficient Generic Functional Programming. Nijmegen Institute for Computing and Information Sciences, Faculty of Science, Radboud University Nijmegen, The Netherlands. Technical Report NIII-R0425.
  8. Artem Alimarine and Sjaak Smetsers. Fusing Generic Functions. Nijmegen Institute for Computing and Information Sciences, Faculty of Science, Radboud University Nijmegen, The Netherlands. Technical Report NIII-R0434.
  9. Artem Alimarine and Sjaak Smetsers. Optimizing Generic Functions. In Kozen, D. Ed. Proceedings Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 2004. Springer, LNCS 3125, pp.16-31. abstract, pdf.
  10. M. van der Bijl, A. Rensink, J. Tretmans. [7]Compositional Testing with ioco. In Petrenko, A. Ulrich, A. Eds. Proceedings Formal Approaches to Software Testing (FATES 2003), Montréal, Québec, Canada, October 6, 2003. Springer, LNCS 2931, pp.86-100. abstract, pdf.
  11. Malcolm Dowse, Andrew Butterfield, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. Towards Machine-Verified Proofs for I/O. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universitaet zu Kiel, pp. 469-480.
  12. Marko van Eekelen, Maarten de Mol. Mixed Lazy/Strict Graph Semantics. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universitaet zu Kiel, pp.245-260.
  13. Sander Evers, Peter Achten, Jan Kuper. A Functional Programming Technique for Forms in Graphical User Interfaces. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universitaet zu Kiel, pp.81-96. abstract, pdf.
  14. John van Groningen. Faster Garbage Collection Using Prefetching. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universitaet zu Kiel, pp. 142-152.
  15. Groote, J.F., Willemse, T.A.C. Parameterised Boolean Equation Systems. In Gardner, P., Yoshida, N. Eds. Proceedings of CONCUR 2004, Springer-Verlag, LNCS 3170, pp.308-324.
  16. Groote, J.F., Willemse, T.A.C. A Checker for Modal Formulas for Processes with Data. In de Boer, F.S., Bosangue, M.M., Graf, S., de Roever, W.-P. Eds. Proceedings of FMCO 2003. Springer-Verlag, LNCS 3188, pp.223-239.
  17. Groote, J.F., Willemse, T.A.C. Parameterised Boolean Equation Systems. Eindhoven University of Technology, Department of Computer Science, CSR 04-09.
  18. Ron van Kesteren, Marko van Eekelen, Maarten de Mol. Proof Support for General Type Classes. In Hans-Wolfgang Lloidl, Ed. Trends in Functional Programming 5: Selected Papers from the 5th Int. Symposium on Trends in Functional Programming, TFP04, München, Germany, Intellect, 2004, pp. 1-16.
  19. Pieter Koopman, Rinus Plasmeijer. Testing reactive systems with GAST. Gilmore, S. Ed. Proceedings Fourth symposium on Trends in Functional Programming, Edinburgh, Scotland, September 11-12, 2003, Intellect Books, ISBN 1-84150-122-0, pp.111-129. abstract . (Also available as Technical Report NIII-R0403)
  20. Leonard Lensink, Marko van Eekelen. Induction and Co-Induction in Sparkle. Technical Report NII-R0502, Institute for Computing and Information Sciences, Radboud University Nijmegen, 2004.
  21. Rinus Plasmeijer, Arjen van Weelden. [8]A Functional Shell that Operates on Typed and Compiled Applications. In Vene, V., Uustalu, T. Eds. 5th International School on Advanced Functional Programming, AFP2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Springer, LNCS 3622, pp.245-272. abstract, pdf.
  22. Arjen van Weelden, Rinus Plasmeijer. A Functional Shell that Dynamically Combines Compiled Code. In Michaelson, G., Trinder, Ph. Eds. Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Selected Papers, Edinburgh, Scotland, September 8-10, 2003, Springer, LNCS 3145, pp.36-52. abstract, pdf.
  23. Ronny Wichers Schreur, Rinus Plasmeijer. Dynamic Construction of Generic Functions (abstract). Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universitaet zu Kiel, pp.428.
  24. Willemse, T.A.C. Embeddings of Hybrid Automata in Process Algebra. In Boiten, E.A., Derrick, J., Smith, G. Eds. Proceedings of IFM2004. Springer-Verlag, LNCS 2999, pp.343-362.

2003

  1. Peter Achten, Artem Alimarine, Rinus Plasmeijer. When Generic Functions Use Dynamic Values. In: Peña, R., Arts, T. eds. Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670, pp.17-33. abstract, pdf. (improved version of [#2002-achp2002-GenericDynamics below])
  2. Artem Alimarine, Sjaak Smetsers. Online Termination Analysis for Optimizing Generics. In Trinder, Ph., Michaelson, G. Eds. Draft Proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL'03, Edinburgh, Scotland, pp. 1-2.
  3. Diederik van Arkel, John van Groningen, Sjaak Smetsers. Fusion in Practice. In Peña, R., Arts, T. eds. Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670, pp.51-67. abstract, pdf. (improved version of [#2002-arkd2002-FusionInPractice below]).
  4. Zoltán Horváth, Viktória Zsók, Pascal Serrarens, Rinus Plasmeijer. Parallel elementwise processable functions in concurrent clean. In Mathematical and Computer Modelling, 2003, volume 38, Elsevier Science, Oxford, pp. 865-875.
  5. Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer. Gast: Generic Automated Software Testing. In Peña, R., Arts, T. eds. Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670, pp.84-100. (see also Gast)
  6. Pieter Koopman, Rinus Plasmijer. Testing Reactive Systems with Gast. In Trinder, Ph., Michaelson, G. Eds. Draft Proceedings of the 15th International Symposium on the Implementation of Functional Languages, IFL'03, Edinburgh, Scotland, Sep. 2003, pp.145-160.
  7. Pieter Koopman, Jan Tretmans. eds. 9e Nederlandse Testdag, November 25, 2003, Nijmegen, Technical Report NIII-R0328, Universiteit Nijmegen. abstract.
  8. J. Tretmans, E. Brinksma. TorX: Automated Model Based Testing. In Hartman, A., Dussa-Zieger, K. eds. Proceedings of the First European Conference on Model-Driven Software Engineering. December 11-12, 2003, imbuss, Nurnberg, Germany, 13 pp. abstract, pdf.
  9. Martijn Vervoort and Rinus Plasmeijer. Lazy Dynamic Input/Output in the lazy functional language Clean. In Peña, R., Arts, T. eds. Proceedings 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, Madrid, Spain, September 16-18, 2002, Springer Verlag, LNCS 2670, pp.101-117. abstract, pdf. (improved version of [#2002-verm2002-LazyDynamicIO below]).
  10. Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed Functional Operating System. In Peñ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, pp.215-231. abstract, pdf. (improved version of [#2002-vWeA2002-FamkeFunctionalOS below]). Received The Peter Landin Prize (Best Paper Award).
  11. Arjen van Weelden, Rinus Plasmeijer. A Type Safe Interactive Interpreter for a Functional Language using Compiled Code. In Trinder, Ph., Michaelson, G. Eds. Draft Proceedings of the 15th International Symposium on the Implementation of Functional Languages, IFL'03, Edinburgh, Scotland, Sep. 2003, pp.363-378.

2002

  1. Peter Achten and Ralf Hinze. [9]Combining Generics and Dynamics. Technical Report NIII-R0206, 2002, July 2002, Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. abstract, pdf.
  2. Peter Achten, Artem Alimarine, Rinus Plasmeijer. Dynamic Values Need Polytypic Functions - draft -. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, pages 425-442. pdf.
  3. 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 2001, Selected Papers, Älvsjö, Sweden, September 24-26, 2001, Springer-Verlag, LNCS 2312, pages 168-185. abstract, pdf.
  4. Diederik van Arkel, John van Groningen, Sjaak Smetsers. Fusion in Practice. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informá ticos y Programació n, Universidad Complutense de Madrid, pages 68-84. abstract, pdf.
  5. Marko van Eekelen and Maarten de Mol. Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, pages 357-373. abstract, pdf.
  6. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Theorem Proving for Functional Programmers - SPARKLE: A Functional Theorem Prover. In: Arts, Th., Mohnen M., eds. Proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, Selected Papers, Älvsjö, Sweden, September 24-26, 2001, Springer-Verlag, LNCS 2312, pages 55-71. abstract, pdf
  7. Jan Tretmans and Ed Brinksma. Côte de Resyste - Automated Model Based Testing. In: Schweizer, M. ed. Progress 2002 - 3rd Workshop on Embedded Systems. October 24, 2002, STW Technology Foundation, Utrecht, pages 246-255. abstract
  8. Martijn Vervoort and Rinus Plasmeijer. Lazy Dynamic Input/Output in the lazy functional language Clean - early draft -. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, pages 404-408. abstract, pdf.
  9. Arjen van Weelden and Rinus Plasmeijer. Towards a Strongly Typed Functional Operating System. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, pages 301-319. abstract, pdf.

2001

  1. Peter Achten and Simon Peyton Jones. Porting the Clean Object I/O library to Haskell In: Mohnen M, Koopman P., eds. Proceedings of the 12th International workshop on the Implementation of Functional Languages, selected papers, IFL'00, Aachen, Germany, September 4-7, 2000, Springer-Verlag, LNCS 2011, pages 194-213. abstract, pdf
  2. 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, Älvsjö, Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory, pp.257-278. pdf, powerpoint presentation.
  3. John van Groningen and Rinus Plasmeijer. Strict and unboxed lists using type constructor classes in a lazy functional language. Proceedings 13th International Workshop on the Implementation of Functional Languages, IFL 2001, Älvsjö, Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory. pdf
  4. Pieter Koopman and Rinus Plasmeijer, 2001, Layered Combinator Parsers with a Unique State. In: Arts, Th., Mohnen, M. eds. Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, Älvsjö, Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory, pp.157-172. pdf, powerpoint presentation
  5. Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer. Theorem Proving for Functional Programmers. In: Arts, Th., Mohnen, M. eds. Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, Älvsjö, Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory, pp.99-118. powerpoint presentation
  6. Thorsten Zoerner, Pieter Koopman, Marko van Eekelen and Rinus Plasmeijer Polygonizing Implicit Surfaces in a Purely Functional Way. In: Mohnen M, Koopman P., eds. Proceedings of the 12th International workshop on the Implementation of Functional Languages, selected papers, IFL'00, Aachen, Germany, September 4-7, 2000, Selected Papers. Springer-Verlag, LNCS 2011, pages 158-175.

2000

  1. Peter Achten and Rinus Plasmeijer, The implementation of interactive local state transition systems in Clean. In: Koopman, P., Clack. C. eds. Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Springer-Verlag, LNCS 1868, pages 115-130.
  2. Peter Achten and Simon Peyton Jones. [10]Porting the Clean Object I/O library to Haskell - Draft- In: Mohnen M., Koopman P., eds. Proceedings of the 12th International workshop on the Implementation of Functional Languages, IFL'00, Aachen, Germany, September 4-7, 2000, Aachener Informatik-Berichte 00-7, pages 247-262. (abstract)
  3. Peter Achten and Martin Wierich. [11]A Tutorial to the Clean Object I/O Library - Version 1.2, Technical Report, February 2000, University of Nijmegen, 294 pages. (pdf format).
  4. John van Groningen. Optimizing recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language. In: Koopman, P., Clack. C. eds. Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Springer-Verlag, LNCS 1868, pages 59-76. (abstract). (pdf version).
  5. Tamas Koszik and Rinus Plasmeijer. Subtyping with Strengthening Type Invariants In: Mohnen M., Koopman P., eds. Proceedings of the 12th International workshop on the Implementation of Functional Languages, IFL'00, Aachen, Germany, September 4-7, 2000, Aachener Informatik-Berichte 00-7, pages 315-330.
  6. Maarten de Mol and Marko van Eekelen. A Proof Tool Dedicated to Clean, Selected Papers of Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, Springer-Verlag, LNCS 1799, pages 271-278.
  7. Rinus Plasmeijer and Marko van Eekelen. [12]Term Graph Rewriting and Mobile Expressions in Functional Languages, Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, Invited Paper, Springer-Verlag, LNCS 1799, pages 1-13. (abstract), (pdf version).
  8. Mike Wiering, Rinus Plasmeijer, Peter Achten. Using Clean for Platform Games. In: Koopman, P., Clack. C. eds. Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Springer-Verlag, LNCS 1868, pages 1-17.

1999

  1. Achten, P.M. and Wierich, M. A Tutorial to the Clean Object I/O Library - version 1.1., Internal Report, Department of Functional Programming, University of Nijmegen, The Netherlands, 1999.
  2. Peter Achten and Rinus Plasmeijer. Some implementation issues on the Clean Object I/O library - Draft version -. In: Koopman, P., Clack. C. eds. Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, pp. 130-143. Final paper will appear in LNCS.
  3. Csizmazia Balazs, An IIOP interface for Clean, Technical Report, University of Nijmegen.
  4. Barendsen, E and Smetsers, S. Graph Rewriting Aspects of Functional Programming, In Handbook of Graph Grammars and Computing by Graph Transformation, H. Ehrig, G. Engels, H.J. Kreowski and G. Rozenberg (eds), World Scientific http://www.wspc.com/books/compsci/4180.html 1999, Chapter 2 (pp. 63-102).
  5. J.H.M. Dassen, L.P.J. Groenewegen, I.G. Sprinkhuizen-Kuyper, P.W.M. Koopman, P.J. 't Hoen, G. Engels, A formalisation of SOCCA using Z (Part 1: the type level concepts), 5 February 1999, LIACS (Computer Science, Leiden University, The Netherlands) Technical report 99-03.
  6. J.H.M. Dassen, L.P.J. Groenewegen, G. Engels, P.J. 't Hoen, P.W.M. Koopman, I.G. Sprinkhuizen-Kuyper: Formalising Object-Oriented Modelling Languages. LIACS (Computer Science, Leiden University, The Netherlands) Technical report 99-09.
  7. P.J. 't Hoen, L.P.J. Groenewegen, J.H.M. Dassen, I.G. Sprinkhuizen-Kuyper, P.W.M. Koopman, G. Engels: Structuring SOCCA Models with UML-like Packages. September 1999. LIACS (Computer Science, Leiden University, The Netherlands) Technical report 99-11.
  8. P.J. 't Hoen, L.P.J. Groenewegen, J.H.M. Dassen, I.G. Sprinkhuizen-Kuyper, P.W.M. Koopman, G. Engels: Class-like Descriptions of Packages. December 1999. LIACS (Computer Science, Leiden University, The Netherlands) Technical report 99-17.
  9. P. Koopman and M.J. Plasmeijer. Efficient Combinator Parsers, In Proc. of Implementation of Functional Languages (IFL '98), London, UK, K. Hammond, A.J.T. Davie and C. Clack (Eds.), Springer Verlag, LNCS 1595, pp. 120-136. This paper shows how the complexity and bare efficiency of parser combinators can be improved tremendously, such that parser combinators can used to construct parsers for serious applications in a simple, clear and efficient way. (abstract)
  10. Koopman, P.W.M., Van Eekelen, M, Plasmeijer, M, et al: Functional programming in Clean. Draft part I. July 1999.
  11. P. Koopman and C. Clack: Draft proceedings of the 11th international workshop on the implementation of functional languages: IFL'99. Lochem, September 1999.
  12. P. Koopman, S Smetsers: Imperatief programmeren in C, Dictaat P1b/P2 1999. KU Nijmegen.
  13. Maarten de Mol and Marko van Eekelen. A Prototype Dedicated Theorem Prover for Clean, Technical report CSI-R9913, October, Computing Science Institute, University of Nijmegen.
  14. Maarten de Mol and Marko van Eekelen, A Proof Tool Dedicated to Clean: the first prototype. In Manfred Nagl, Andy Schürr, Manfred Münch, Eds. Selected Papers from the 1st International Workshop on Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, University of Aachen, Springer, LNCS 1779, pp. 271-278, 1999.
  15. Pil, M.R.C. Dynamic types and type dependent functions, In Proc. of Implementation of Functional Languages (IFL '98), London, U.K., Hammond, Davie and Clack Eds., Springer-Verlag, Berlin, Lecture Notes in Computer Science 1595, pp 169-185.
  16. Rinus Plasmeijer and Marko van Eekelen, Keep it Clean: A unique approach to functional programming, ACM Sigplan Notices, June 1999.
  17. Rinus Plasmeijer, Marko van Eekelen, Marko Pil and Pascal Serrarens. Parallel and Distributed Programming in Concurrent Clean, in Research Directions in Parallel Functional Programming, K. Hammond and G Michaelson (Eds), Springer Verlag, pp. 323-338.
  18. Serrarens, P.R. and M.J. Plasmeijer. [13]Explicit message passing for Concurrent Clean, In Proc. of Implementation of Functional Languages (IFL '98), London, U.K., Hammond, Davie and Clack Eds., Springer-Verlag, Berlin, Lecture Notes in Computer Science 1595, pp. 229-245. (abstract)
  19. Mike Wiering, Rinus Plasmeijer, Peter Achten. Draft - Using Clean for Platform Games. In: Koopman, P., Clack. C. eds. Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, pp. 144-155. Final paper will appear in LNCS.
  20. Zoltan Horváth, Peter Achten, Tamas Kozsik, Rinus Plasmeijer. Proving the Temporal Properties of the Unique World. In: Software Technology, Fenno-Ugric Symposium FUSST'99 Proceedings, Technical Report CS 104/99, Tallin, 1999, pp. 113-125. (abstract).
  21. Zoltan Horváth, Peter Achten, Tamas Kozsik, Rinus Plasmeijer. Verification of the Temporal Properties of Dynamic Clean Processes. In: Koopman, P., Clack. C. eds. Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, pp. 203-218. (abstract).
  22. Zoltan Horváth, Viktoria Zsók, Pascal Serrarens, Rinus Plasmeijer. Parallel Functional Skeletons in Concurrent Clean, In 3rd Joint Conference on Mathematics and Computer Science, 1999, Visegrad, Hungary, pp. 37.

1998

  1. Achten, P.M. and M.J. Plasmeijer. Interactive Functional Objects in Clean, In: Clack, Hammond and Davie Eds., Proc. of 9th International Workshop on Implementation of Functional Languages, IFL'97, St. Andrews, Scotland, UK, September 1997, Selected Papers, Springer-Verlag, Berlin, LNCS 1467, pp. 304-321. (abstract)
  2. Erik Barendsen and Sjaak Smetsers, Strictness Typing, in Proc. of the 10th International Workshop on Implementation of Functional Languages (IFL'98), London, 1998, pp. 101–116.
  3. Marco Pil. Dynamic Types and Type Dependent Functions, in Proc. of the 10th International Workshop on Implementation of Functional Languages (IFL'98), London, 1998, pp. 65-84. A revised version will also appear in Springers LNCS.
  4. Rinus Plasmeijer, Marko van Eekelen. Concurrent Clean Language Report - version 1.3, Technical Report CSI-R9816, June 1998, Computing Science Institute, University of Nijmegen, 180 pages.
  5. Pieter Koopman, Jeroen Fokker, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer. Functional Programming in Clean, draft, 450 pages, University of Nijmegen.
  6. Pieter Koopman, Rinus Plasmeijer. Efficient Combinators Parser, in Proc. of the 10th International Workshop on Implementation of Functional Languages (IFL'98), London, 1998, pp. ??-??. A revised version will also appear in Springers LNCS.
  7. Pascal Serrarens, Rinus Plasmeijer. Explicit Message Passing for Concurrent Clean, in Proc. of the 10th International Workshop on Implementation of Functional Languages (IFL'98), K. Hammond, A.J.T. Davie and C.Clack, editors, London, 1998, pp. 289-308. A revised version will also appear in Springers LNCS.
  8. Serrarens, P.R. Using multicasting for optimising data-parallelism, In: Clack, Hammond and Davie Eds., Proc. of 9th International Workshop on Implementation of Functional Languages, IFL'97, St. Andrews, Scotland, UK, September 1997, Selected Papers, Springer-Verlag, Berlin, LNCS 1467, pp. 271-285. (abstract)
  9. Zörner, Th.H.-G. (1998), Numerical analysis and functional programming, In Proc. 10th int. workshop on implementation of functional languages, University College London, UK, Hammond, Davie and Clark Eds., pp. 27-48.

1997

  1. Peter Achten and Rinus Plasmeijer. [14]Interactive Functional Objects in Clean. In: Clack, C., Hammond, K., and Davie, T., Eds., Proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL97, St. Andrews, Scotland, September 10-12, 1997, pp. 387-406. (abstract)
  2. Eekelen, M.C.J.D. van, J.W.M. Smetsers, M.J. Plasmeijer, Graph Rewriting Semantics for Functional Programming Languages, In Proc. of CSL '96, Fifth Annual conference of the European Association for Computer Science Logic (EACSL), Utrecht, Dirk van Dalen Ed., Springer Verlag, LNCS 1258, pp. 106-128. Explains the importance of Graph Rewriting Semantics and Uniqueness typing for functional programming languages. (abstract)
  3. Groningen, John H.G. van, [15]The Implementation and Efficiency of Arrays in Clean 1.1, In Proc. of Implementation of Functional Languages, 8th International Workshop, IFL '96, Selected Papers, Bad Godesberg, Germany, Kluge Ed., Springer Verlag, LNCS 1268, pp. 105-124. (abstract) (pdf version).
  4. Pil, Marco. First Class File I/O, In Proc. of Implementation of Functional Languages, 8th International Workshop, IFL '96, Selected Papers, Bad Godesberg, Germany, Kluge Ed., Springer Verlag, LNCS 1268, pp. 233-246. (abstract, pdf version)
  5. Serrarens, Pascal R. [16]Distributed Arrays in the Functional Language Concurrent CLEAN, In Proc. of the 3rd international Euro-Par conference, LNCS 1300, pp. 1201-1208, Passau, August 1997. We show how distributed arrays can be implemented in CLEAN without extensions to the language (abstract)
  6. Serrarens, Pascal R. Implementing the Conjugate Gradient Algorithm in a Functional Language, In Proc. of Implementation of Functional Languages, 8th International Workshop, IFL '96, Selected Papers, Bad Godesberg, Germany, Kluge Ed., Springer Verlag, LNCS 1268, pp. 125-140. This paper evaluates the elegance and efficiency of functional languages for numerical analys, using the conjugate gradient algorithm as an example. (abstract)
  7. Serrarens, Pascal R., Functional Multicasting, In: Clack, C., Hammond, K., and Davie, T., Eds., Proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL97, St. Andrews, Scotland, September 10-12, 1997, pp. 127-134.

1996

  1. Achten, P.M. Interactive Functional Programs - models, methods, and implementations, Ph.D. thesis, University of Nijmegen. The contents, chapters, appendices, references, summaries, and cv are separate PostScript files. Describes the work done on interactive functional programs and processes.
  2. Barendsen, Erik and Smetsers, Sjaak. Uniqueness typing for functional languages with graph rewriting semantics, In Mathematical Structures in Computer Science 6, pp. 579-612. (abstract, pdf version) Full technical presentation of the (polymorphic) uniqueness type derivation system in natural deduction style including graph rewriting semantics and decidability. (abstract)
  3. Kesseler, M.H.G. The Implementation of Functional Languages on Parallel Machines with Distributed Memory, Ph.D. thesis, University of Nijmegen.
  4. Pil, Marco, First Class file I/O, In Proc. of 8th International Workshop on Implementation of Functional Languages (IFL'96), Bonn, Germany, Kluge Ed., Christian-Albrechts-University, Kiel, pp. 341-349.
  5. Plasmeijer, M.J., Eekelen, M.C.J.D. van, Smetsers, J.W.M. The Functional Programming Language Concurrent CLEAN, In Proc. of Talen en tools, een nieuwe toren van babel?, NLUUG-Najaarsconferentie 1996, "De Reehorst", Ede, NL, NLUUG Ed., pp. 57-73.
  6. Serrarens, Pascal R. A CLEAN Conjugate Gradient Algorithm, In Proc. of 8th International Workshop on Implementation of Functional Languages (IFL'96), Bonn, Germany, Kluge Ed., Institute of Computer Science, Christian-Albrechts-University, Kiel, pp. 367-376. The paper shows that a functional programming environment like CLEAN can produce fast code for a numerical algorithm, using the conjugate gradient algorithm as an example. (abstract)

1995

  1. Achten, P. A Functional Framework for Deterministically Interleaved Interactive Programs, In Proc. of Programming Languages: Implementations, Logics and Programs (PLILP'95), Utrecht, the Netherlands, Hermenegildo and Swierstra Eds., Springer Verlag, LNCS 982, pp. 451-452. Extended abstract. Describes pure functional framework for interactive programs that consist of interleaved processes. (abstract)
  2. Achten, P. The GUI-fest challenges. During the GUI-fest in Glasgow some challenges for GUI solutions in a functional languages have been defined. In this report a solution is given using CLEAN. (abstract)
  3. Achten, P. and R. Plasmeijer. Concurrent Interactive Processes in a Pure Functional Language, In Proc. of Computing Science in the Netherlands (CSN '95), Utrecht, van Vliet Ed., Stichting Mathematisch Centrum, pp. 10-21. The paper describes how the interleaved CLEAN I/O system model (multiple interactive processes on one machine) can be extended into a distributed system. (abstract)
  4. Achten, P. and R. Plasmeijer. Using Type and Constructor Classes to Interpret Object Structures, In Proc. of Workshop on the Implementation of Functional Languages, Båstad, Sweden, Chalmers Tekniska Högskola, pp. 142-156. It is shown how type constructor classes can be used to define a hierarchy of object records with an arbitrary local state. (abstract)
  5. Achten, P.M. and M.J. Plasmeijer. The Ins and Outs of Concurrent CLEAN I/O, In Journal of Functional Programming 5:1, pp. 81-110. Explains the concepts behind CLEANs' Event I/O and how this can be used to define platform independent interactive window-based applications on a high level of abstraction. (abstract)
  6. Bakel, S.J. van. Intersection Type Assignment Systems, In Journal of Theoretical Computer Science 151:2, pp. 385-435. (abstract)
  7. Barendsen, Erik and Smetsers, Sjaak. A Derivation System for Uniqueness Typing, In Proc. of Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Volterra, Pisa, Italy, Corradini and Montanari Eds., Elsevier, Electronic Notes in Theoretical Computer Science, pp. 151-158. Formal presentation of uniqueness typing in a natural deduction style. (abstract , pdf version)
  8. Barendsen, Erik and Smetsers, Sjaak. Uniqueness Type Inference, In Proc. of Programming Languages: Implementations, Logics and Programs (PLILP'95), Utrecht, the Netherlands, Hermenegildo and Swierstra Eds., Springer Verlag, LNCS 982, pp. 189-207. Proves decidabilty of uniqueness typing. (abstract)
  9. Eekelen, M.C.J.D., van and M.J. Plasmeijer. Constructing Medium Sized Efficient Functional Programs in CLEAN, In Proc. of First International Spring School on Advanced Functional Programming Techniques , Båstad, Sweden, Jeuring and Meijer Eds., Springer Verlag, LNCS 925, pp. 183-228.
  10. Groningen, J.H.G. van. Optimising Mark-Scan Garbage collection, The Journal of Functional and Logic Programming, Volume 1995, MIT Press.
  11. Hartel, P. and R. Plasmeijer Eds., First International Symposium on Functional Programming Languages in Education (FPLE '95), Nijmegen, Springer Verlag, LNCS 1022.
  12. Hartel, P. and R. Plasmeijer Eds. Special Issue on State-of-the-art applications of pure functional programming languages, Journal of Functional Programming 5, Cambridge University Press.
  13. Hoon, W.A.C.A.J. de, L.M.W.J. Rutten and M.C.J.D. van Eekelen. Implementing a Functional Spreadsheet in CLEAN, In Journal of Functional Programming 5:3, pp. 383-414. Describes an interactive spreadsheet entirely written in CLEAN. As spreadsheet language again a functional language is used. The interpreter allows symbolic reduction. (abstract)
  14. Kesseler, M. Constructing Skeletons in CLEAN, The Bare Bones, In Proc. of High Performance Functional Computing (HPFC'95), Denver, A.P. Wim Böhm and Feo Eds., Lawrence Livermore National Laboratory CONF-9504126, pp. 182-192. (abstract)
  15. Koopman, P.W.M., M.C.J.D. van Eekelen and M.J. Plasmeijer. Operational machine specification in a functional programming language, In Software-Practice and Experience 25:5, pp. 463-499. This paper advocates the use of a functional programming language for the formal specification of (abstract) machines. (abstract)
  16. Plasmeijer, Dr. ir. M.J. Functies gaan het maken!, Katholieke Universiteit Nijmegen,Nijmegen. Rede in verkorte vorm uitgesproken bij de aanvaarding van het ambt van bijzonder hoogleraar in Declaratieve Systemen in het bijzonder Berekeningsmodellen en hun Implementaties vanwege de Stichting International Academic Centre for Informatics (IACI) aan de Katholieke Universiteit Nijmegen op donderdag 15 juni 1995.
  17. Plasmeijer, M.J. CLEAN: a programming environment based on Term Graph Rewriting, In Proc. of Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Volterra, Pisa, Italy, Corradini and Montanari Eds., Elsevier, Electronic Notes in Theoretical Computer Science, pp. 233-240.
  18. Plasmeijer, Prof. dr. ir. M.J. Functies gaan het maken!, In NGI-magazine 10:11, pp. 11-13.
  19. Serrarens, Pascal R. BriX - A Deterministic Concurrent Functional X Windows System , MSc thesis, University of Amsterdam. This thesis describes the development and workings of BriX, in which special efforts were taken to avoid non-determinism, using just deterministic techniques.

1994

  1. Achten, P., Plasmeijer, M.J. A framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language CLEAN, In Proc. of Computing Science in the Netherlands (CSN'94), Jaarbeurs Utrecht, Backer Ed., Stichting Mathematisch Centrum, pp. 1-30. The paper describes how interleaved executing interactive processes are incorporated in CLEAN. The processes can communicate via shared data structures and asynchroneous message passing. (abstract)
  2. Achten, P and M.J. Plasmeijer. Towards Distributed Interactive Programs in the Functional Programming Language CLEAN, In Proc. of 6th International Workshop on the Implementation of Functional Languages, UEA, Norwich, UK, Glauert Ed.28, pp. 28.1-28.16.
  3. Bakel, S.J., van, L. Liquori, R. Ronci della Rocca and P. Urzyczyn. Comparing Cubes, In Proc. of Third International Symposium on Logical Foundations of Computer Science, St.Petersburg, Russia, Nerode and Matiyasevich Eds., Springer-Verlag 813, pp. 353-165.
  4. Bakel, S.J. van and M. Fernandez. Strong normalization of typeable term rewriting systems, University of Nijmegen, Technical report CSI-R9402, January 1994. Also appeard in proceedings HOA workshop Amsterdam, December 1993.
  5. Bakel, S.J. van and M. Fernandez. Strong Normalization of Typeable Term Rewriting Systems, In Proc. of First International Workshop on Higher Order Algebra Logic and Term Rewriting , Amsterdam, Heering, Meinke, Möller and Nipkow Eds., Springer Verlag 816, pp. 20-39. Also appeard as technical report CSIR9402 (abstract)
  6. Eekelen, M., van, Hoon, W., de. A Functional Spreadsheet, In Proc. of Workshop on Functional Programming in the Real World, Wadern, Germany, Giegerich R. and Hughes Ed. 89, pp. 7.
  7. Hoon, W., de,, L. Rutten and M.C.J.D. Eekelen, van. FunSheet: a functional spreadsheet, In Proc. of 6th International Workshop on the Implementation of Functional Languages, UEA , Norwich,UK, Glauert Ed., pp. 11.2-11.24.
  8. Kesseler, M. Lazy Copying and Uniqueness, In Proc. of 6th International Workshop on the Implementation of Functional Languages, UEA, Norwich,UK, Glauert Ed., pp. 4.1-4.11. The Uniqueness type system and lazy graph copying are important techniques to efficiently implement functional languages. Unfortunately, combination of both in one system may lead to conflicts. Until recently, parallel Concurrent CLEAN programs could not take advantage of the uniqueness type system, because the lazy graph copying method that Concurrent CLEAN employed was able to invalidate derived uniqueness information. This paper will address this problem and present a solution that is based on a new copying method with different semantics, called lazy normal form copying. (abstract)
  9. Kesseler, M. Reducing Graph Copying Costs - Time to Wrap it up, In Proc. of First International Syposium on Parallel Symbolic Computation, PASCO '94, Hagenberg/Linz, Austria, Hong Ed., World Scientific, Lecture Notes Series on Computing 5, pp. 244-254. (abstract)
  10. Kuchen, H., M.J. Plasmeijer and H. Stolze. Efficient distributed Memory Implementation of a Data Parallel Functional Language, In Proc. of Parallel Architectures and Languages Europe (PARLE '94), Patras, Greece, Springer-Verlag, LNCS , pp. 464-477.
  11. Nöcker, E.J.G.M. Efficient Functional Programming - Compilation and Programming Techniques, PhD.thesis, University of Nijmegen.
  12. Plasmeijer, M.J. and M.C.J.D. Eekelen, van. Concurrent CLEAN 1.0 - Language Manual, draft version, Katholieke Universiteit Nijmegen, Manual, Oktober 1994.
  13. Smetsers, Sjaak, Erik Barendsen, Marko van Eekelen and Rinus Plasmeijer. Guaranteeing safe destructive updates through a type system with uniqueness information for graphs, In Proc. of Graph Transformations in Computers Science, International Workshop, Dagstuhl Castle, Germany, Schneider and Ehrig Eds., Springer-Verlag, LNCS 776, pp. 358-379. Explains the basic motivation for CLEAN's uniqueness type system. (abstract , pdf version)

1993

  1. Achten, P.M. and M.J. Plasmeijer. The Beauty and the Beast, University of Nijmegen, Technical report 93-03, March 1993. (abstract)
  2. Bakel van, Steffen, Simon Brock and Sjaak Smetsers. Partial Type Assignment in Left-Linear Applicative Term Rewriting Systems, In Term Graph Rewriting - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 15-30. Formal treatment of "classical" typing in CLEAN.
  3. Bakel, S.J. van, Essential intersection type assignment, In Proc. of 13th Conference on the Foundations of Software Technology & Theoretical Computer Science, Bombay, India, Shyamasundar Ed., Berlin: Springer-Verlag, Lecture Notes in Computer Science 761, pp. 13-23. (abstract)
  4. Bakel, S.J. van (1993), Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems, Ph.D. Thesis, University of Nijmegen. (abstract)
  5. Bakel, S.J. van, Partial Intersection Type Assignment in Applicative Term Rewriting Systems, In Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA '93), Utrecht, The Netherlands, Groote Ed., Springer-Verlag, Lecture Notes in Computer Science 664, pp. 29-44. (abstract)
  6. Bakel, S.J. van, Partiële Typetoekenning in Linkslineaire Applicatieve Termherschrijfsystemen, In "Zin dat het heeft; een liber amicarum voor Jan van Bakel", Bakel, Coppen and Rolf Eds., Coppen, pp. 35-54.
  7. Bakel, S.J. van, Principal Type Schemes for the Strict Type Assignment System, In Journal of Logic and Computation 3:6, pp. 643-670. (abstract)
  8. Barendsen, E. and J.E.W. Smetsers (1993), Extending Graph Rewriting with Copying, In Proc. of Seminar on Graph Transformations in Computer Science, Dagstuhl, Wadern, Courcelle, Ehrig, Rozenberg and Schneider Eds., Springer-Verlag, LNCS 776, pp. 51-70. A full version of the paper is available as a technical report. Formal semantics of (lazy) copying. (abstract)
  9. Barendsen, Erik and Sjaak Smetsers, Conventional and Uniqueness Typing in Graph Rewrite Systems, Computing Science Institute, University of Nijmegen, Technical report CSI-R9328, December 1993. Also appeared as an extended abstract. Formal treatment of CLEAN's (classical and uniqueness) type system. (abstract)
  10. Barendsen, Erik and Sjaak Smetsers, Conventional and Uniqueness Typing in Graph Rewrite Systems (extended abstract), In Proc. of 13th Conference on the Foundations of Software Technology & Theoretical Computer Science (FST&TCS13), Bombay, India, Shyamasundar Ed., Springer-Verlag, LNCS 761, pp. 41-51. A full version of this paper is available as a technical report. Formal treatment of CLEANs' uniqueness type system used to guarantee single-threaded use of objects. (abstract)
  11. Eekelen, M.C.J.D. van, E. Goubault, C. Hankin and E.G.J.M.H. Nöcker. Abstract Reduction: Towards a Theory via Abstract Interpretation, In Term Graph Rewriting - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 117-129.
  12. Eekelen, M.C.J.D van and M.J. Plasmeijer, Process Annotations and Process Types, In Term Graph Rewriting - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 347-362. The concurrent behaviour of a program is defined by means of annotations with an associated type system. (abstract)
  13. Groningen, J.H.G. van. Optimising Mark Scan Garbage collection, In Proc. of 5th Int. Workshop on Implementation of Functional Languages, Nijmegen, Plasmeijer Ed., University of Nijmegen, Technical Report 93-21, pp. 185-192.
  14. Huitema, H. and M.J. Plasmeijer, The Concurrent CLEAN System User's Manual & PABCstat User's Manual - version 0.8 (rv), University of Nijmegen, Technical report 93-14, June 1993.
  15. Kesseler, M.H.G. (1993), The Class Transputer Router, In Proc. of PaCT'93, Obninsk, Malyshkin Ed., NT-CentreI, pp. 235-250. (abstract)
  16. Kesseler, M.H.G. (1993), Efficient routing using Class Climbing, In Proc. of Transputer Applications and Systems'93, Aachen, Grebe, Hektor, Hilton, Jane and Welch Eds., IOS Press, Transputer and OCCAM engineering series 2, pp. 830-846. (abstract)
  17. Koopman, P.W.M., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer. Graph Rewriting using the Annotated Functional Strategy, In Term Graph Rewriting - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 317-332.
  18. Kuchen, H., M.J. Plasmeijer and H. Stolze. Efficient distributed Memory Implementation of Functional Languages, In Proc. of 5th Int. Workshop on Implementation of Functional Languages, Nijmegen, Plasmeijer Ed., University of Nijmegen, Technical Report 93-21, pp. 69-85.
  19. Nöcker, E.G.J.M.H. Strictness analysis using abstract reduction , In Proc. of 6th Conference on Functional Programming Languages and Computer Architectures, Copenhagen, Arvind Ed., ACM Press, pp. 255-265.
  20. Nöcker, E.G.J.M.H. and J.E.W. Smetsers. Partially strict non-recursive data types, In Journal of Functional Programming 3:2, pp. 191-215. Introduces (partially) strict data structures and explains their influence on efficiency.
  21. Nöcker, E.J.G.M.. Efficient Parallel Functional Programming - Some Case Studies -, In Proc. of 5th Int. Workshop on Implementation of Functional Languages, Nijmegen, Plasmeijer Ed., University of Nijmegen, Technical Report 93-21, pp. 51-68.
  22. Plasmeijer, M.J. and M.C.J.D. van Eekelen (1993), Functional Programming and Parallel Graph Rewriting, Addison Wesley, Reading MA . (abstract)
  23. Plasmeijer, Rinus and Marko van Eekelen Eds.(1993), Proceedings of the 5th International Workshop on Implementation of Functional Languages, Nijmegen, Technical Report 93-21, Nijmegen University.
  24. Sleep, M.R., M.J. Plasmeijer and M.C.J.D. van Eekelen. Term Graph Rewriting - Theory and Practice, John Wiley & Sons,Chichester. There are also preliminary proceedings.
  25. Smetsers, Sjaak., Graph Rewriting and Functional Languages, Ph.D. thesis, University of Nijmegen.Discusses the relation between functional languages and (term) graph rewriting.
  26. Smetsers, Sjaak, Erik Barendsen, Marko van Eekelen and Rinus Plasmeijer. Guaranteeing safe destructive updates through a type system with uniqueness information for graphs, University of Nijmegen, Technical report 93-04, June 1993.
  27. Toyama, Yoshihito, Sjaak Smetsers, Marko van Eekelen and Rinus Plasmeijer. [17]The Functional Strategy and Transitive Term Rewriting Systems, In Term Graph Rewriting - Theory and Practice , Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 61-75. Formal presentation on the functional reduction strategy for term rewrite systems. (abstract)

1992

  1. Achten, P.M. I/O in functional languages, In Proc. of 4th International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany, Kuchen and Loogen Eds., RWTH Aachen, Aachener Informatik-Berichte 92-19. Describes how Uniqueness and explicit environment passing can be applied to incorporate I/O safely in CLEAN.
  2. Achten, P.M., J.H.G. Groningen, van and M.J. Plasmeijer. High Level Specification of I/O in Functional Languages, University of Nijmegen, Department of Informatics, Faculty of Mathematics and Informatics, Technical Report 92-10, April 1992.
  3. Achten, P.M., J.H.G. Groningen van and M.J. Plasmeijer. High-level specification of I/O in functional languages, In Proc. of Glasgow workshop on Functional programming, Ayr, Scotland, Launchbury and Sansom Eds., Springer-Verlag, Workshops in Computing , pp. 1-17. prepublished as technical report 92-10 (abstract, pdf version)
  4. Bakel, S.J. van. Essential intersection type assignment systems, University of Nijmegen, Technical 92-28, December 1992. Bakel, S. van (1992), Complete restrictions of the intersection type discipline, In Journal of Theoretical Computer Science 102, pp. 135-163. (abstract)
  5. Bakel, Steffen van, Simon Brock and Sjaak Smetsers. Partial Type Assignment in Left-Linear Applicative Term Rewriting Systems, In Proc. of 17th Colloquium on Trees in Algebra and Programming (CAAP'92) , Rennes, France, Raoult Ed., Springer-Verlag, LNCS 581, pp. 300-321. Formal treatment of "classical" typing in CLEAN. (abstract)
  6. Barendsen, E. and J.E.W. Smetsers. Graph Rewriting and Copying, University of Nijmegen, Technical Report 92-20, August 1992. Extends Term Graph Rewriting with the concept of Lazy Copying. (abstract)
  7. Groningen, J.H.G. van. Some Implementation Aspects of Concurrent Clean on Distributed Memory Architectures, Proceedings of the Fourth International Workshop on the Parallel Implementation of Functional Languages, Aachener Informatik-Berichte Nr. 92-19, Fachgruppe Informatik, RWTH Aachen, Germany, 1992.(abstract). (pdf version).
  8. Huitema, H. and M.J. Plasmeijer. The Concurrent CLEAN System User's Manual & PABCstat User's Manual - version 0.8, University of Nijmegen, Technical report 92-19, August 1992.
  9. Kesseler, M.H.G. Communication issues regarding parallel functional graph rewriting, In Proc. of 4th International Workshop on the Implementation of Functional Languages on Parallel Architectures, Aachen, Kuchen and Loogen Eds., RWTH92-19. (abstract)
  10. Nöcker, E.G.J.M.H.. Strictness Analysis by Abstract reduction in Orthogonal Term rewriting systems, University of Nijmegen, Technical report 92-31, December 1992.
  11. Plasmeijer, M.J. I/O in Functional Languages, Schloss Dagstuhl, Saarbrucken, Dagstuhl-Seminar-Report 36, March 1992.
  12. Plasmeijer, M.J. and M.C.J.D. van Eekelen. Concurrent CLEAN, ESPRIT, Catalogus "Strategic Research Centre" CEBIT'92, March 1992.
  13. Plasmeijer, M.J. and M.C.J.D. van Eekelen. Exploiting parallellism with functional neural network specifications, In Proc. of 2nd Symposium on Neural Networks, Nijmegen, Gielen and Kappen Eds., University of Nijmegen, pp. 11-16.
  14. Rutten, L.M.W.J.. Transforming a Functional Backpropagation Specification to an Efficient Program, In Proc. of 2nd Symposium on Neural Networks, Nijmegen, Gielen and Kappen Eds., University of Nijmegen, pp. 84.
  15. Rutten, L.M.W.J., M.C.J.D. van Eekelen and M.J. Plasmeijer. Transforming neural network specifications to parallel programs, In Proc. of Artificial Neural Networks II, Brighton, UK, Aleksander and Taylor Eds., Elsevier Science Publishers2, pp. 1277-1281.
  16. Smetsers, Sjaak. Term Graph Rewriting and Strong Sequentiality, In Proc. of Computing Science in the Netherlands (CSN'92), Utrecht, the Netherlands, Dietz Ed., SMC, Amsterdam, pp. 291-303. Investigates the notion of strong sequentiality in the context of Term Graph Rewriting. (abstract)

1991

  1. Achten, P.M.. Annotations for load distribution, In Proc. of 3rd Int. Workshop on the Implementation of Functional Languages on Parallel Architectures, Southampton, Glaser and Hartel Eds., University of Southampton, CTRS 91-07, pp. 247-265. Extended abstract of Master's thesis. Describes a set of load distribution primitives to annotate Concurrent CLEAN program.
  2. Bakel, S.J. van. Principal type schemes for the strict type assignment system, University of Nijmegen, Technical Report 91-6.
  3. Bakel, S.J. van, Brock, S., Smetsers, J.E.W.. Type assignment in left linear applicative term rewriting systems, In Proc. of symposium on Semantics and Pragmatics of Generalized Graph Rewriting '91, University of Nijmegen, Plasmeijer Ed., University of Nijmegen 91-25, pp. 291-312.
  4. Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers. [18]Parallel Graph Rewriting on Loosely Coupled Machine Architectures, In Proc. of Conditional and Typed Rewriting Systems (CTRS '90), Montreal CA, Kaplan and Okada Eds., Springer-Verlag, LNCS 516, pp. 354-369. Explains parallel Graph Rewriting and process communication via Lazy Copying . (abstract)
  5. Groningen, J.H.G. van, E.G.J.M.H. Nöcker and J.E.W. Smetsers. Efficient Heap Management in the Concrete ABC Machine, In Proceedings of the Third International Workshop on the Implementation of Functional Languages on Parallel Architectures, Glaser and Hartel eds., Technical Report Series CSTR 91-07, University of Southampton, U.K., 1991.(abstract).(pdf version).
  6. Kesseler, M.H.G. Implementing the ABC machine on transputers, In Proc. of 3rd International Workshop on Implementation of Functional Languages on Parallel Architectures, Southampton, Glaser and Hartel Eds., University of Southampton, Technical Report 91-07, pp. 147-192. (abstract)
  7. Nöcker, E.G.J.M.H., M.J. Plasmeijer and J.E.W. Smetsers. The parallel ABC machine, In Proc. of 3rd International Workshop on Implementation of Functional Languages on Parallel Architectures, Southampton, Glaser and Hartel Eds., University of Southampton Technical Report 91-07, pp. 383-407. Explains the abstract PABC-machine and shows briefly how Concurrent CLEAN is translated into PABC code.
  8. Nöcker, E.G.J.M.H., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer. Concurrent CLEAN, In Proc. of Parallel Architectures and Languages Europe (PARLE '91), Eindhoven, the Netherlands, Aarts, Leeuwen and Rem Eds., Springer-Verlag, LNCS 505, pp. 202-219. Gives an overview of the language Concurrent CLEAN (version 0.7) as well as of its implementation. (abstract)
  9. Plasmeijer, M.J., Eekelen, M.C.J.D. v, Nöcker, E., Smetsers, J.E.W. Concurrent CLEAN - Status report, In Proc. of Functional languages: Optimization for parallelism, Schloss Dagstuhl, Saarbrucken, Wilhelm Ed., Schloss Dagstuhl, Saarbrucken, pp. 22-23.
  10. Plasmeijer, M.J. Controlling reduction order and typing, University of East Anglia, Norwich, UK.
  11. Plasmeijer, M.J., Sleep, M.R. Ed. Semantics and pragmatics of generalized graph rewriting, Nijmegen, 91-25, University of Nijmegen. preliminary proceedings.
  12. Plasmeijer, M.J. and M.C.J.D. v Eekelen. Concurrent functional programming, In Proc. of Functional languages: optimization for parallelism, Schloss Dagstuhl, Saarbrucken, Wilhelm Ed., Schloss Dagstuhl, Saarbrucken, pp. 22.
  13. Plasmeijer, M.J., M.C.J.D. van Eekelen, E.G.J.M.H. Nöcker and J.E.W. Smetsers. The Concurrent CLEAN System, functional programming on the Macintosh, In Proc. of 7th International Conference of the Apple European University Consortium, Paris, Apple consortium, pp. 19-24. A short description of the CLEAN implementation on the Mac. (abstract)
  14. Rutten, L.M.W.J., Koopman, P.W.M., Eekelen, M.C.J.D. v., Plasmeijer, M.J. Functional Specification of a Neural Network, In Proc. of Artificial Neural Networks, Espoo, Kohonen Ed., Elsevier Science Publishers2, pp. 1485-1488.
  15. Rutten, L.M.W.J., Koopman P.W.M., M.C.J.D. Eekelen, van, and M.J. Plasmeijer. Functional Specification of a Neural Network, University of Nijmegen, Technical Report 91-9, April 1991.
  16. Smetsers, J.E.W., E.G.J.M.H. Nöcker, J.H.G. van Groningen and M.J. Plasmeijer. [19]Generating Efficient Code for Lazy Functional Languages, In Proc. of Conference on Functional Programming Languages and Computer Architecture (FPCA '91), Cambridge, MA, USA, Hughes Ed., Springer-Verlag, LNCS 523, pp. 592-617. Explains some of the optimisations that are used to generate efficient machine code for functional programs. (abstract)

1990

  1. Bakel, S.J. van. A first attempt in Polymorphic Type Assignment using Intersection Types - the problem of unification, University of Nijmegen, Technical Report 9, May 1990.
  2. Groningen, J.H.G. van. [20]Implementing the ABC-machine on M680x0 based architectures, Master Thesis, University of Nijmegen.(abstract).(pdf version)
  3. Heerink, Gerald. Enkele Benchmarks voor Functionele Talen, University of Nijmegen, Stage Report, March 1990.
  4. Kesseler, M. Concurrent CLEAN on Transputers, Master thesis, University of Nijmegen.
  5. Kesseler, M. Concurrent CLEAN on Transputers, In Proc. of The Second Workshop of ESPRIT Parallel Computing Action (PCA), ISPRA, Italy.
  6. Koopman, P.W.M. Functional Programs as Executable Specifications, PhD.Thesis, University of Nijmegen.
  7. Nöcker, E.G.J.M.H. Strictness Analysis based on Abstract Reduction, In Proc. of Second International Workshop on Implementation of Functional Languages on Parallel Architectures, University of Nijmegen, the Netherlands, Technical Report 90-16, pp. 297-321.
  8. Nöcker, E.G.J.M.H. Strictness Analysis using Abstract Reduction, University of Nijmegen, Technical report 90-14, July 1990.
  9. Nöcker, E.G.J.M.H. and J.E.W. Smetsers. Partially Strict Data Types, In Proc. of Second International Workshop on Implementation of Functional Languages on Parallel Architectures, University of Nijmegen, the Netherlands, Technical Report 90-16, pp. 147-192.
  10. Pepels, B., M.J. Plasmeijer and M.C.J.D. van Eekelen. Processen en hun wisselwerking, University of Nijmegen Dictaat (deel1,2a en2b).
  11. Plasmeijer, M.J. Ed. Implementation of Functional Languages on Parallel Architectures, Nijmegen, Second International Workshop on Implementation of Functional Languages on Parallel Architectures Technical Report no. 90-16, University of Nijmegen.
  12. Plasmeijer, M.J. Ed. Transparent Object-oriented Parallel Information Computing System - A High Performance Parallel System for the Office, Definition of Concurrent CLEAN, Deliverable D-PLS6.1 of Esprit II TIP-M Project 2427, (Tropics).
  13. Plasmeijer, M.J. and M.C.J.D. van Eekelen. Concurrent Functional Programming, In Proc. of Conference on Unix & Parallelism, pp. 75-98.
  14. Plasmeijer, M.J. and M.C.J.D. van Eekelen. Functionele talen en Parallellisme, In Voorlichtingsboekje Informatica.
  15. Plasmeijer, M.J., M.C.J.D. van Eekelen, J. Vytopil and T. Schouten. Parallel Processing, videotape on the advantages of parallel processing highlighting several transputer applications, Chriet Titulaer Produkties bv. Tekst bijdragen, regie en montage ondersteuning.
  16. Rutten, L.M.W.J., P.W.M. Koopman, M.C.J.D. Eekelen, van, and M.J. Plasmeijer. Inventory and Functional Prototypes of Neural Networks, University of Nijmegen, Technical Report 90-15, October 1990.

1989

  1. Bakel, S. van and P. Dirven. Practicumhandleiding MINIX, Lecture Notes, Januari 1989.
  2. Bakel, S. van and P. Koopman. Dictaat bij het college Computerarchitectuur en Randapparatuur, KU Nijmegen, Lecture notes module 1.2 Post-doctorale opleidingen Informatica, July 1989.
  3. Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers. Communicating Functional Processes, University of Nijmegen, Technical Report 89-3, March 1989.
  4. Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers. Parallel Graph Rewriting on Loosely Coupled Machine Architectures, University of Nijmegen. Technical report 89-9.
  5. Nöcker, E.G.J.M.H. The PABC Simulator, v0.5. Implementation Manual, University of Nijmegen, Technical Report 89-19, 1989.
  6. Rutten, L.M.W.J., M.C.J.D. van Eekelen and M.J. Plasmeijer. Unifying Functional and Logic Languages by Integrating their Operational Semantics, University of Nijmegen, Technical Report 89-4.
  7. Smetsers, J.E.W. Compiling CLEAN to Abstract ABC-Machine Code, University of Nijmegen, Technical Report 89-20, October 1989. Describes how CLEAN is translated into (intermediate) ABC code.
  8. Wichers Schreur, R. J.M. The Concurrent CLEAN System Version 0.5, User's Manual, University of Nijmegen, Technical Report, manual 21, November 1989.

1988

  1. Bakel, S.J. van. Derivations in type assignment systems, Master's thesis, University of Nijmegen.
  2. Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer and M.R. Sleep. LEAN: An intermediate language based on graph rewriting, In Parallel Computing 9, pp. 163-177, North Holland Lean is an experimental language based on Graph Rewriting System (GRS). Besides supporting functional programming, Lean also describes imperative constructs and allows the manipulation of cyclic graphs. Programs may exhibit non-determinism as well as parallelism. (abstract)
  3. Eekelen, M.C.J.D. van. Parallel graph rewriting, some contributions to its theory, its implementation and its application, Ph.D. Thesis, University of Nijmegen. (abstract)
  4. Eekelen, M.C.J.D. van, E.J.H. Pepels and M.J. Plasmeijer. A cyclic reference counting algorithm and its proof, University of Nijmegen, Internal Report 10.
  5. Hintum, M., van and R. van Schelven. MCC V3.0 Implementation Manual, version 2.0, University of Nijmegen Internal report 2.
  6. Nöcker, E.G.J.M.H. Strictness Analysis based on Abstract Reduction of Term Graph Rewrite Systems, In Proc. of Workshop on Implementation of Lazy Functional Languages, Göteborg, Johnsson, Peyton Jones and Karlsson Eds., University of Göteborg and Chalmers University of Technology, Programming Methodology Group Report 53, pp. 451-462.

1987

  1. Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer and M.R. Sleep. Term Graph Rewriting, In Proc. of Parallel Architectures and Languages Europe (PARLE '87), Eindhoven, Bakker, Nijman and Treleaven Eds., Springer-Verlag, LNCS 259, pp. 141-158. Basic Paper on Term Graph Rewriting, the computational model CLEAN is based upon. (abstract)
  2. Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer and M.R. Sleep. Towards an intermediate language based on graph rewriting, In Proc. of Parallel Architectures and Languages Europe (PARLE '87), Eindhoven, Bakker, Nijman and Treleaven Eds., Springer-Verlag, LNCS 259, pp. 159-175. Lean is an experimental language based on Graph Rewriting System (GRS). Besides supporting functional programming, Lean also describes imperative constructs and allows the manipulation of cyclic graphs. Programs may exhibit non-determinism as well as parallelism. (abstract)
  3. Barendregt, H.P., M.C.J.D. van Eekelen, P.H. Hartel, L.O. Hertzberger, M.J. Plasmeijer and W.G. Vree. The Dutch Parallel Reduction Machine Project, In Future Generations Computer Systems 3, pp. 261-270. Proceedings of the International Conference on Frontiers of Computing (Amsterdam, December 1987). Describes the first Dutch project on functional languages, a collaboration of the University of Amsterdam (hardware), Utrecht (theory) and Nijmegen (software). (abstract)
  4. Brus, T., M.C.J.D. van Eekelen, M. van Leer, M.J. Plasmeijer and H.P. Barendregt. CLEAN - A Language for Functional Graph Rewriting, In Proc. of Conference on Functional Programming Languages and Computer Architecture (FPCA '87), Portland, Oregon, USA, Kahn Ed., Springer-Verlag, LNCS 274, pp. 364-384. First paper on CLEAN. (abstract)
  5. Eekelen, M.C.J.D., van, Barendregt H.P., Glauert J.R.W., Kennaway J.R., Plasmeijer M.J. and Sleep M.R. Term Graph Rewriting, Department of Computer Science, University of Nijmegen Internal Report 87. Also as Report SYS-C87-01, School of Information Systems, University of East Anglia.
  6. Nöcker, E.G.J.M. and M.J. Plasmeijer. Combinator reduction on a parallel G-machine, In Proc. of International Conference on Parallel Processing and Applications, Aquila, Italy, Chiricozzi and D'Amico Eds., North Holland, pp. 399-412.
  7. Plasmeijer, M.J. and M.C.J.D. van Eekelen. Modules as First-Class Citizens in the Context of Functional Programming, University of Nijmegen, Technical Report 86.

1986

  1. Eekelen, M.C.J.D, van and Plasmeijer M.J. Specification of reduction strategies in term rewriting systems, In Proc. of Int. Workshop on Graph Reduction, Santa Fe, NM, Fasel and Keller Eds., Springer-Verlag, LNCS 279, pp. 215-239. (abstract) In this paper three formal methods for specifying reduction strategies in TRS's are presented. In the first method the reduction strategy is encoded in the TRS itself. In the second method a priority TRS is used as annotation TRS. In the third metho three separate TRS's are used. The use of this abstract-interpretation TRS is shown to be the most promising method.
  2. Veen, Arthur. Analytic modelling of a parallel graph reducer, University of Nijmegen, Internal Report 79.

1985

  1. Brus, T. and M.J. Plasmeijer. De Apple Macintosh - De oplossing voor tekstverwerking? University of Nijmegen, October 1985.
  2. Eekelen, M.C.J.D. van, P. Hartel and M.J. Plasmeijer. Report of a trip to the United Kingdom, University of Nijmegen, Internal report 58, January 1985.

Sponsored by the Dutch Parallel Reduction Machine Project.