Papers by Peter Achten

Here is a list of my papers and reports.

  1. Pieter Koopman, Rinus Plasmeijer, Peter Achten. Model-Based Testing of Thin-Client Web Applications. Submitted to FATES/RV'06.

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

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

  4. 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, 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. Accepted for post-conference publication by Springer LNCS.

  5. Rinus Plasmeijer, Peter Achten. Generic Editors for the World Wide Web. Central-European Functional Programming School, 4-16 July 2005, Eötvös Loránd University, Budapest, Hungary. Revised version to appear by Springer LNCS.

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

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

  8. 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. To appear.

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

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

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

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

  13. 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).

  14. 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).

  15. Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Generic Graphical User Interfaces. Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Selected Papers, Edinburgh, Scotland, September 8-10, 2003.

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

    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.

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

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

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

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

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

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

  23. Zoltan Horvath, 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.

  24. Zoltan Horvath, 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.

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

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

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

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

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

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

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

  32. 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, 1994, Backer  Ed., Stichting Mathematisch Centrum, pp. 1-30.

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

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

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

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

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

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