Papers by Peter Achten

Here is a list of my papers and reports.


2013

82. Peter Achten. Why Functional Programming Matters To Me. In Achten, P. and Koopman, P. Eds. The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, Springer, Festschrift, LNAI 8106, August 2013, ISBN 978-3-642-40354-5, pp.79-96.

81. Peter Achten and Pieter Koopman, Eds. The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, Springer, Festschrift, LNAI 8106, August 2013, ISBN 978-3-642-40354-5, DOI: 10.1007/978-3-642-40355-2.

This festschrift has been compiled on the combined occasion of Rinus' 61st birthday and the 25th IFL symposium meeting. It consists of 19 scientific essays written by former PhD students and co-authors of Rinus. The theme of the book is the beauty of functional code and the influence it has or had on the author's work. The festschrift was offered to Rinus on the first evening of the 25th IFL.

80. Marco T. Morazán and Peter Achten, Eds. Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE'12. EPTCS 106, DOI: 10.4204/EPTCS.106, ISSN: 2075-2180, published on 20th January 2013.


2012

79. Peter Achten, Marko van Eekelen, Maarten de Mol and Rinus Plasmeijer. EditorArrow: An Arrow-based Model for Editor-based Programming. To appear in Journal of Functional Programming. Cambridge University Press, 2012.

78. Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, and Pieter Koopman. Task-Oriented Programming in a Pure Functional Language. In Proceedings of the 2012 ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP'12, september 2012, Leuven, Belgium, ACM 978-1-4503-1522-7, pp. 195-206.

77. Rinus Plasmeijer, Peter Achten, Bas Lijnse, Bas and Steffen Michels. Defining multi-user web applications with iTasks. In Zsók, V., Horváth, Z., Plasmeijer, R. Eds. Proceedings of the 4th Central European Functional Programming School, CEFP'11, 14-24 june 2011, Eötvös Loránd University, Budapest, Hungary, Springer, LNCS 7241.

76. Jeroen Henrix, Rinus Plasmeijer and Peter Achten. GiN: a graphical language and tool for defining iTask workflows. In Peña, R. Ed. Proceedings of the 12th Symposium on Trends in Functional Programming, TFP '11, Selected Papers, Madrid, Spain, Springer, LNCS 7193, 2012, pp. 163-178. [an earlier version appeared as paper 65]

75. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model Based Testing with Logical Properties versus State Machines. In Gill, A. Ed. Proceedings of the International Symposium on the Implementation and Application of Functional Languages, Revised Selected Papers, IFL'11. The University of Kansas, october 2011. Springer, LNCS 7257, pp. 116-133.

A draft version has appeared as:
Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model Based Testing with Logical Properties versus State Machines - Extended Abstract. In Gill, A. Ed. Draft Proceedings of the 23rd International Symposium on the Implementation and Application of Functional Languages, IFL'11. The University of Kansas, october 2011, Technical Report ITTC-FY2012-TR-29952012-01.


2011

74. Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer. Embedding polymorphic dynamic typing. In Järvi, J., Mu, S-C. Eds. Proceedings of the Workshop on Generic Programming, WGP'11, Tokyo, Japan, 2011, ACM Press, pp. 25-36.

73. Steffen Michels, Rinus Plasmeijer and Peter Achten. iTask as a new paradigm for building GUI applications. In Hage, J., Morazán, M.T., Eds. Proceedings of the 22nd International Symposium on the Implementation and Application of Functional Languages, IFL '10, Selected Papers, Alphen aan den Rijn, The Netherlands, 2011, Springer, LNCS, 6647, pp. 153-168.

A draft version has appeared as:
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.

72. Pieter Koopman, Rinus Plasmeijer, Peter Achten. An Executable and Testable Semantics for iTasks. In Scholz, S-B., Chitil, O. Eds. 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, pp. 212-232.

A draft version has appeared as:
Pieter Koopman, Rinus Plasmeijer, Peter Achten. An Executable and Testable Semantics for iTasks. In Scholz, S-B. Ed. Proceedings 20th International Symposium on the Implementation and Application of Functional Languages, University of Hertfordshire, United Kingdom, 10-12 September 2008, Technical Report No. 474, September 2008, pp.53-64.

71. Peter Achten. The Soccer-Fun project (educational pearl). Journal of Functional Programming, Volume 21, Issue 1, 2011, pp.1-19. Available on CJO 19 Mar 2010 doi:10.1017/S0956796810000055. Copyright © Cambridge University Press 2010.

70. Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels. Getting a Grip on Tasks that Coordinate Tasks. Proceedings 11th Workshop on Language Descriptions, Tools, and Applications (LDTA), March 26-27, 2011, Saarbrücken, Germany, 2011.

69. 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. In Siau-Cheng Khoo, Jeremy Siek, Eds. Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, ACM, ISBN 978-1-4503-0485-6, pp. 151-160.


2010

68. 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, pp. 224-267.

67. 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.

66. 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.

65. 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.

64. 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 '10, Baltimore, MD, USA, September 26, 2010, ACM, pp.73-84.

63. 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.

62. 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, IFL 2009, September 23-25, 2009, Seton Hall University, South Orange, NJ, USA. Springer-Verlag, LNCS 6041, pp.179-197.

A draft version has appeared as:
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.

61. 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.

60. 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.


2009

59. 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 Summer School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures, Springer, LNCS 5832, pp. 306-329.

A draft version has appeared as:
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.

58. 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.

57. 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, ISBN 978-1-84150-277-9, Intellect publisher.


2008

56. 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, December 2008.

55. Peter Achten. Teaching Functional Programming with Soccer-Fun. In Huch, F. and Parkin, A. 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.

54. 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.

53. 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.

52. 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.

51. Rinus Plasmeijer, Peter Achten, Pieter Koopman. An Introduction to iTasks: Defining Interactive Work Flows for the Web. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Revised Selected Lectures, Cluj-Napoca, Romania. Springer LNCS, 5161, pp.1-40.

50. 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.

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

48. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Testing and Validating the Quality of Specifications. In Proceedings 4th Workshop on Advances in Model Based Testing (A-MOST 2008).


2007

47. 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.

46. 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. ACM, ISBN 978-1-59593-815-2, pp. 141-152.

45. Pieter Koopman, Peter Achten, Rinus Plasmeijer. On the Validation of Specifications used in Model-Based Testing. In Chitil, O. Ed. Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL2007, Freiburg, Germany, 27-29 september 2007, Technical Report No.12-07, September 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, pp. 230-231.

44. Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten. Transparant Ajax and Client Site Evaluation of iTasks. In Chitil, O. Ed. Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL2007, Freiburg, Germany, 27-29 september 2007, Technical Report No.12-07, September 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, pp. 252-253.

43. 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, TFP2007, April 2-4, New York, USA.

42. 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, TFP2007, April 2-4, New York, USA.


2006

41. 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.

A draft version has appeared as:
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, page 167.

40. Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Browser Actions (extended abstract). In Horváth, Z., Zsók, V. 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, ISBN 9634638767, Technical Report 2006-S01.

39. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. A Unified Semantic Model For Interactive Applications Using iData and Generic Editors (abstract). In Horváth, Z., Zsók, V. 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, ISBN 9634638767, Technical Report 2006-S01.

38. 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.

37. 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.

36. Rinus Plasmeijer, Peter Achten. iData For The World Wide Web - Programming Interconnected Web Forms. In: Proceedings Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), Fuji Susono, Japan, April 24-26 2006, Springer Verlag, LNCS 3945, pp.242-258.


2005

35. Rinus Plasmeijer, Peter Achten. The Implementation of iData - A Case Study in Generic Programming. In: Butterfield, A. Ed. 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-Verlag, LNCS 4015, pp.106-123.

A draft version has appeared as:
The Implementation of iData - A Case Study in Generic Programming. 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.

34. Rinus Plasmeijer, Peter Achten. 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.

33. Rinus Plasmeijer, Peter Achten, Javier Pomer Tendillo. iData For The World Wide Web - Generic Programming Techniques for High-Level Server-Side Web Scripting. Technical Report, February, 2005. Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands.

32. 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.


2004

31. Sander Evers, Peter Achten, Rinus Plasmeijer. Disjoint Forms in Graphical User Interfaces. In: Symposium on Trends in Functional Programming (TFP04), Munich, Germany, 25-26 November, 2004, Intellect Books, ISBN 1-84150-144-1, pp.113-128.

30. Peter Achten. 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, Lübeck, Germany, September 2004. Springer, LNCS 3474, pp.17-34.

A draft version has appeared as:
Interactively Probing Quiescent Properties of Object I/O Applications - A Feasibility Study -. In: 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.

29. 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, Lübeck, Germany, September 2004. Springer, LNCS 3474, pp.35-51.

A draft version has appeared as:
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.

28. 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, University of Tartu, Estonia, August 14-21, 2004. Revised Lectures. Springer, LNCS 3622, pp. 210-244.

27. Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Arrows for Generic Graphical Editor Components. Technical Report NIII-R0416. 2004. Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands.

26. 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 2004. Springer, LNCS 3302, pp. 262-279. (Also available as Technical Report NIII-R0427).

25. 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. (Also available as Technical Report NIII-R0408).


2003

24. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Generic Graphical User Interfaces. In Michaelson, G. and Trinder, Ph. eds. Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Selected Papers, Edinburgh, Scotland, September 8-10, 2003, Springer Verlag, LNCS 3145, pp.152-167.


2002

23. Peter Achten, Artem Alimarine, Rinus Plasmeijer. When Generic Functions Use Dynamic Values. 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, pages 17-33.

A draft version has appeared as:
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.

22. Peter Achten, Ralf Hinze. 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.


2000

21. Peter Achten, 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.

A draft version has appeared as:
Peter Achten and Simon Peyton Jones. 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.

20. Peter Achten, Martin Wierich. A Tutorial to the Clean Object I/O Library - Version 1.2. Technical Report, Technical Report CSI-R0003, February 2000, University of Nijmegen, 294 pages.


1999

19. Peter Achten, 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, Selected Papers, Lochem, The Netherlands, September 7-10, 1999, Springer-Verlag, LNCS 1868, pages 115-130.

A draft version has appeared as:
Peter Achten, 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.

18. 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, Selected Papers, Lochem, The Netherlands, September 7-10, 1999, Springer-Verlag, LNCS 1868, pages 1-17.

A draft version has appeared as:
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.

17. Achten, P.M., 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.

16. Zoltán 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.

15. Zoltán 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.


1997

14. Achten, P.M., 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.

A draft version has appeared as:
Peter Achten, Rinus Plasmeijer. 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.


1996

13. Achten, P.M. Interactive Functional Programs - models, methods, and implementations. Ph.D. thesis, University of Nijmegen, 1996.


1995

12. 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.

11. Achten, P. The  GUI-fest challenges, 1995. Personal notes.
During the 1995 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.

10. Achten, P., R. Plasmeijer. Concurrent  Interactive Processes in a Pure Functional  Language. In Proc. of Computing  Science in the Netherlands (CSN '95), Utrecht, November 27-28, 1995, van Vliet Ed., Stichting Mathematisch Centrum, Amsterdam, pp.10-21.

9. Achten, P., 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, 1995, pp.142-156.

8. Achten, P.M., M.J. Plasmeijer. The Ins and Outs of Concurrent CLEAN I/O. In Journal of Functional Programming 5:1, 1995, Cambridge University Press, pp. 81-110.


1994

7. 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, November 21-22, 1994, Backer  Ed., Stichting Mathematisch Centrum, Amsterdam, pp. 30-41.

6. Achten, P., 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, 1994, UEA, Norwich, UK, Glauert Ed.28,  pp. 28.1-28.16.


1993

5. Achten, P.M., M.J. Plasmeijer. The  Beauty and the Beast. University of Nijmegen, Technical report 93-03, March 1993.


1992

4. Achten, P.M. I/O in functional languages. In Proc. of 4th International Workshop on the Parallel  Implementation of Functional Languages, 1992, Aachen, Germany, Kuchen and Loogen Eds., RWTH Aachen, Aachener Informatik-Berichte 92-19.

3. Achten, P.M., J.H.G. Groningen, van, 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.

2. Achten, P.M., J.H.G. Groningen, van, M.J. Plasmeijer. High-level  specification of I/O in functional languages. In Launchbury and Sansom Eds., Proc. of Glasgow workshop on Functional programming, Ayr, Scotland, 1992, Springer-Verlag,  Workshops in Computing , pp. 1-17; prepublished as technical report 92-10.


1991

1. Achten, P.M. Annotations for load distribution, In Proc. of 3rd Int. Workshop on the Implementation of Functional Languages on Parallel Architectures, 1991, Southampton, Glaser and Hartel  Eds., University of Southampton, CTRS 91-07, pp. 247-265. (Extended abstract of Master's thesis.)