High Level Specification of I/O in Functional Languages. - Peter Achten; John H. G. van Groningen; Marinus J. Plasmeijer (Functional Programming, 1992)

A Functional Framework for Deterministically Interleaved Interactive Programs - Peter Achten (PLILP, 1995)

The Ins and Outs of Clean I/O. - Peter Achten; Marinus J. Plasmeijer (J. Funct. Program., 1995)

Interactive functional programs: models, methods, and implementation. - Peter Achten (1996)

Interactive Functional Objects in Clean. - Peter Achten; Marinus J. Plasmeijer (Implementation of Functional Languages, 1997)

The Implementation of Interactive Local State Transition Systems in Clean. - Peter Achten; Marinus J. Plasmeijer (IFL, 1999)

Using Clean for Platform Games. - Mike Wiering; Peter Achten; Marinus J. Plasmeijer (IFL, 1999)

Porting the Clean Object I/O Library to Haskell. - Peter Achten; Simon L. Peyton Jones (IFL, 2000)

When Generic Functions Use Dynamic Values. - Peter Achten; Artem Alimarine; Marinus J. Plasmeijer (IFL, 2002)

Generic Graphical User Interfaces. - Peter Achten; Marko C. J. D. van Eekelen; Rinus Plasmeijer (IFL, 2003)

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. - Peter Achten; Marko C. J. D. van Eekelen; Rinus Plasmeijer; Arjen van Weelden (Advanced Functional Programming, 2004)

Automatic Generation of Editors for Higher-Order Data Structures. - Peter Achten; Marko C. J. D. van Eekelen; Rinus Plasmeijer; Arjen van Weelden (APLAS, 2004)

The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. - Peter Achten (IFL, 2004)

A Functional Programming Technique for Forms in Graphical User Interfaces. - Sander Evers; Peter Achten; Jan Kuper (IFL, 2004)

Compositional Model-Views with Generic Graphical User Interfaces. - Peter Achten; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (PADL, 2004)

Disjoint forms in graphical user interfaces. - Sander Evers; Peter Achten; Rinus Plasmeijer (Trends in Functional Programming, 2004)

Generic Editors for the World Wide Web. - Rinus Plasmeijer; Peter Achten (CEFP, 2005)

The Implementation of iData. - Rinus Plasmeijer; Peter Achten (IFL, 2005)

Model-Based Testing of Thin-Client Web Applications. - Pieter W. M. Koopman; Rinus Plasmeijer; Peter Achten (FATES/RV, 2006)

iData for the World Wide Web - Programming Interconnected Web Forms. - Rinus Plasmeijer; Peter Achten (FLOPS, 2006)

A Conference Management System Based on the iData Toolkit. - Rinus Plasmeijer; Peter Achten (IFL, 2006)

An Introduction to iTasks: Defining Interactive Work Flows for the Web. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman (CEFP, 2007)

iTasks: executable specifications of interactive work flow systems for the web. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman (ICFP, 2007)

An iTask Case Study: A Conference Management System. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman; Bas Lijnse; Thomas van Noort (Advanced Functional Programming, 2008)

Teaching functional programming with soccer-fun. - Peter Achten (FDPE@ICFP, 2008)

Testing and Validating the Quality of Specifications. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (ICST Workshops, 2008)

An Executable and Testable Semantics for iTasks. - Pieter W. M. Koopman; Rinus Plasmeijer; Peter Achten (IFL, 2008)

Model-Based Testing of Thin-Client Web Applications and Navigation Input. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (PADL, 2008)

Declarative Ajax and client side evaluation of workflows using iTasks. - Rinus Plasmeijer; Jan Martin Jansen; Pieter W. M. Koopman; Peter Achten (PPDP, 2008)

Validating Specifications for Model-Based Testing. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (Software Engineering Research and Practice, 2008)

An Effective Methodology for Defining Consistent Semantics of Complex Systems. - Pieter W. M. Koopman; Rinus Plasmeijer; Peter Achten (CEFP, 2009)

A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes. - Thomas van Noort; Peter Achten; Rinus Plasmeijer (IFL, 2009)

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. - John H. G. van Groningen; Thomas van Noort; Peter Achten; Pieter W. M. Koopman; Rinus Plasmeijer (Haskell, 2010)

Ad-hoc polymorphism and dynamic typing in a statically typed functional language. - Thomas van Noort; Peter Achten; Rinus Plasmeijer (ICFP-WGP, 2010)

iTask as a New Paradigm for Building GUI Applications. - Steffen Michels; Rinus Plasmeijer; Peter Achten (IFL, 2010)

Embedding a web-based workflow management system in a functional language. - Jan Martin Jansen; Rinus Plasmeijer; Pieter W. M. Koopman; Peter Achten (LDTA, 2010)

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. - Peter Achten; Marko C. J. D. van Eekelen; Pieter W. M. Koopman; Marco T. Morazán (High. Order Symb. Comput., 2010)

Defining Multi-user Web Applications with iTasks. - Rinus Plasmeijer; Peter Achten; Bas Lijnse; Steffen Michels (CEFP, 2011)

Embedding polymorphic dynamic typing. - Thomas van Noort; Wouter Swierstra; Peter Achten; Rinus Plasmeijer (WGP@ICFP, 2011)

Model Based Testing with Logical Properties versus State Machines. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (IFL, 2011)

Getting a grip on tasks that coordinate tasks. - Rinus Plasmeijer; Bas Lijnse; Peter Achten; Steffen Michels (LDTA, 2011)

iTasks for a change: type-safe run-time change in dynamically evolving workflows. - Rinus Plasmeijer; Peter Achten; Pieter W. M. Koopman; Bas Lijnse; Thomas van Noort; John H. G. van Groningen (PEPM, 2011)

GiN: A Graphical Language and Tool for Defining iTask Workflows. - Jeroen Henrix; Rinus Plasmeijer; Peter Achten (Trends in Functional Programming, 2011)

The Soccer-Fun project. - Peter Achten (J. Funct. Program., 2011)

Task-oriented programming in a pure functional language. - Rinus Plasmeijer; Bas Lijnse; Steffen Michels; Peter Achten; Pieter W. M. Koopman (PPDP, 2012)

Discussion: Is the future of fluid power digital? - Peter Achten; Matti Linjama; Rudolf Scheidl; Stefan Schmidt (J. Syst. Control. Eng., 2012)

Why Functional Programming Matters to Me. - Peter Achten (The Beauty of Functional Code, 2013)

An Introduction to Task Oriented Programming. - Peter Achten; Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2013)

Model-Based Shrinking for State-Based Testing. - Pieter W. M. Koopman; Peter Achten; Rinus Plasmeijer (Trends in Functional Programming, 2013)

EditorArrow: An arrow-based model for editor-based programming. - Peter Achten; Marko C. J. D. van Eekelen; Maarten de Mol; Rinus Plasmeijer (J. Funct. Program., 2013)

Dynamic high-frequency behaviour of the swash plate in a variable displacement axial piston pump. - Peter Achten (J. Syst. Control. Eng., 2013)

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. - Peter Achten; Jurriën Stutterheim; László Domoszlai; Rinus Plasmeijer (IFL, 2014)

Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. - Jurriën Stutterheim; Rinus Plasmeijer; Peter Achten (Trends in Functional Programming, 2014)

Static and Dynamic Visualisations of Monadic Programs. - Jurriën Stutterheim; Peter Achten; Rinus Plasmeijer (CEFP, 2015)

Towards the Layout of Things. - Peter Achten; Jurriën Stutterheim; Bas Lijnse; Rinus Plasmeijer (IFL, 2016)

A Distributed Dynamic Architecture for Task Oriented Programming. - Arjan Oortgiese; John H. G. van Groningen; Peter Achten; Rinus Plasmeijer (IFL, 2017)

Maintaining Separation of Concerns Through Task Oriented Software Development. - Jurriën Stutterheim; Peter Achten; Rinus Plasmeijer (TFP, 2017)

Segments: An alternative rainfall problem. - Peter Achten (J. Funct. Program., 2021)

Compositional Views in Compositional Images - Category: Research -. - Peter Achten; Pieter W. M. Koopman (TFP, 2024)

Flattening Combinations of Arrays and Records. - Reg Huijben; Jordy Aaldering; Peter Achten; Sven-Bodo Scholz (TFP, 2024)

Clean for Haskell Programmers. - Mart Lubbers; Peter Achten (CoRR, 2024)