Process Communication Based on Input Specifications. - Jan van den Bos; Marinus J. Plasmeijer; Jan Stroet (ACM Trans. Program. Lang. Syst., 1981)

Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. - Jan van den Bos; Marinus J. Plasmeijer; Pieter H. Hartel (IEEE Trans. Software Eng., 1983)

Specification of reduction strategies in term rewriting systems. - Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (Graph Reduction, 1986)

CLEAN: A language for functional graph writing. - T. H. Brus; Marko C. J. D. van Eekelen; M. O. van Leer; Marinus J. Plasmeijer (FPCA, 1987)

Term Graph Rewriting. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; John R. W. Glauert; Richard Kennaway; Marinus J. Plasmeijer; M. Ronan Sleep (PARLE (2), 1987)

Towards an Intermediate Language based on Graph Rewriting. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; John R. W. Glauert; Richard Kennaway; Marinus J. Plasmeijer; M. Ronan Sleep (PARLE (2), 1987)

The Dutch parallel reduction machine project. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer; Pieter H. Hartel; Louis O. Hertzberger; Willem G. Vree (Future Gener. Comput. Syst., 1987)

LEAN: an intermediate language based on graph rewriting. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer; John R. W. Glauert; Richard Kennaway; M. Ronan Sleep (Parallel Comput., 1989)

Parallel Graph Rewriting on Loosely Coupled Machine Architectures. - Marko C. J. D. van Eekelen; Marinus J. Plasmeijer; J. E. W. Smetsers (CTRS, 1990)

Generating Efficient Code for Lazy Functional Languages. - Sjaak Smetsers; Eric Nöcker; John H. G. van Groningen; Marinus J. Plasmeijer (FPCA, 1991)

Concurrent Clean. - E. G. J. M. H. Nöcker; J. E. W. Smetsers; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (PARLE (2), 1991)

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

Functional Programming and Parallel Graph Rewriting - Marinus J. Plasmeijer; Marko C. J. D. van Eekelen (Addison-Wesley, 1993)

Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. - Sjaak Smetsers; Erik Barendsen; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Efficient Distributed Memory Implementation of a Data Parallel Functional Language. - Herbert Kuchen; Marinus J. Plasmeijer; Holger Stoltze (PARLE, 1994)

Constructing Medium Sized Efficient Functional Programs in Clean. - Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (Advanced Functional Programming, 1995)

CLEAN: a programming environment based on term graph rewriting. - Marinus J. Plasmeijer (SEGRAGRA, 1995)

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

Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. - Pieter H. Hartel; Marinus J. Plasmeijer (J. Funct. Program., 1995)

Operational Machine Specification in a Functional Programming Language. - Pieter W. M. Koopman; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (Softw. Pract. Exp., 1995)

Graph Rewriting Semantics for Functional Programming Languages. - Marko C. J. D. van Eekelen; Sjaak Smetsers; Marinus J. Plasmeijer (CSL, 1996)

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

Efficient Combinator Parsers. - Pieter W. M. Koopman; Marinus J. Plasmeijer (IFL, 1998)

Explicit Message Passing for Concurrent Clean. - Pascal R. Serrarens; Marinus J. Plasmeijer (IFL, 1998)

Parallel and Distributed Programming in Concurrent Clean. - Rinus Plasmeijer; Marko C. J. D. van Eekelen; Marco Pil; Pascal R. Serrarens (Research Directions in Parallel Functional Programming, 1999)

Term Graph Rewriting and Mobile Expressions in Functional Languages. - Marinus J. Plasmeijer; Marko C. J. D. van Eekelen (AGTIVE, 1999)

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)

Keep it Clean: A Unique Approach to Functional Programming. - Marinus J. Plasmeijer; Marko C. J. D. van Eekelen (ACM SIGPLAN Notices, 1999)

Polygonizing Implicit Surfaces in a Purely Functional Way. - Thorsten H.-G. Zörner; Pieter W. M. Koopman; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (IFL, 2000)

A Generic Programming Extension for Clean. - Artem Alimarine; Marinus J. Plasmeijer (IFL, 2001)

Theorem Proving for Functional Programmers. - Maarten de Mol; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (IFL, 2001)

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

Gast: Generic Automated Software Testing. - Pieter W. M. Koopman; Artem Alimarine; Jan Tretmans; Marinus J. Plasmeijer (IFL, 2002)

Lazy Dynamic Input/Output in the Lazy Functional Language Clean. - Martijn Vervoort; Marinus J. Plasmeijer (IFL, 2002)

Towards a Strongly Typed Functional Operating System. - Arjen van Weelden; Marinus J. Plasmeijer (IFL, 2002)

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

A Functional Shell That Dynamically Combines Compiled Code. - Arjen van Weelden; Rinus Plasmeijer (IFL, 2003)

Testing reactive systems with GAST. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 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)

A Functional Shell That Operates on Typed and Compiled Applications. - 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)

Dynamic Construction of Generic Functions. - Ronny Wichers Schreur; Marinus J. Plasmeijer (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)

Fully Automatic Testing with Functions as Specifications. - Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2005)

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

There and back again: arrows for invertible programming. - Artem Alimarine; Sjaak Smetsers; Arjen van Weelden; Marko C. J. D. van Eekelen; Rinus Plasmeijer (Haskell, 2005)

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

Polytypic Syntax Tree Operations. - Arjen van Weelden; Sjaak Smetsers; Rinus Plasmeijer (IFL, 2005)

Generating Applications from Object Role Models. - Betsy Pepels; Rinus Plasmeijer (OTM Workshops, 2005)

Generic generation of the elements of data types. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2005)

Automatic Testing of Higher Order Functions. - Pieter W. M. Koopman; Rinus Plasmeijer (APLAS, 2006)

Generic Programming for Software Evolution. - Johan Jeuring; Rinus Plasmeijer (EVOL, 2006)

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)

Uniqueness Typing Redefined. - Edsko de Vries; Rinus Plasmeijer; David M. Abrahamson (IFL, 2006)

Fact-Oriented Modeling from a Programming Language Designer's Perspective. - Betsy Pepels; Rinus Plasmeijer; Henderik Alex Proper (OTM Workshops (2), 2006)

Efficient interpretation by transforming data types and patterns to functions. - Jan Martin Jansen; Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2006)

Systematic synthesis of functions. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 2006)

A Single-Step Term-Graph Reduction System for Proof Assistants. - Maarten de Mol; Marko C. J. D. van Eekelen; Rinus Plasmeijer (AGTIVE, 2007)

From Interpretation to Compilation. - Jan Martin Jansen; Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2007)

Proving Properties of Lazy Functional Programs with Sparkle. - Maarten de Mol; Marko C. J. D. van Eekelen; Rinus Plasmeijer (CEFP, 2007)

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)

Uniqueness Typing Simplified. - Edsko de Vries; Rinus Plasmeijer; David M. Abrahamson (IFL, 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)

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

iEditors: Extending iTask with Interactive Plug-ins. - Jan Martin Jansen; Rinus Plasmeijer; Pieter W. M. Koopman (IFL, 2008)

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

Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases. - Bas Lijnse; Rinus Plasmeijer (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)

Efficient and Type-Safe Generic Data Storage. - Sjaak Smetsers; Arjen van Weelden; Rinus Plasmeijer (WGT@ETAPS, 2008)

Synthesis of Functions Using Generic Programming. - Pieter W. M. Koopman; Rinus Plasmeijer (AAIP, 2009)

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

iTasks 2: iTasks for End-users. - Bas Lijnse; Rinus Plasmeijer (IFL, 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)

Towards dynamic workflow support for crisis management. - Jan Martin Jansen; Bas Lijnse; Rinus Plasmeijer (ISCRAM, 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)

Testing with Functional Reference Implementations. - Pieter W. M. Koopman; Rinus Plasmeijer (Trends in Functional Programming, 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)

Capturing the Netherlands Coast Guard's SAR workflow with iTasks. - Bas Lijnse; Jan Martin Jansen; Ruud Nanne; Rinus Plasmeijer (ISCRAM, 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)

Generic Executable Semantics for D-Clean. - Viktória Zsók; Pieter W. M. Koopman; Rinus Plasmeijer (WGT@ETAPS, 2011)

CCL: A Lightweight ORM Embedding in Clean. - Bas Lijnse; Patrick van Bommel; Rinus Plasmeijer (OTM Workshops, 2012)

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

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

Tasklets: Client-Side Evaluation for iTask3. - László Domoszlai; 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)

Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels. - Jurriaan van Diggelen; Wilfried Post; Marleen Rakhorst; Rinus Plasmeijer; Wessel van Staal (AMT, 2014)

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

Editlets: type-based, client-side editors for iTasks. - László Domoszlai; Bas Lijnse; Rinus Plasmeijer (IFL, 2014)

Parametric lenses: change notification for bidirectional lenses. - László Domoszlai; Bas Lijnse; Rinus Plasmeijer (IFL, 2014)

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. - Pieter W. M. Koopman; Rinus Plasmeijer; Jan Martin Jansen (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)

Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors. - Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2015)

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

A Shallow Embedded Type Safe Extendable DSL for the Arduino. - Pieter W. M. Koopman; Rinus Plasmeijer (TFP, 2015)

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

The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. - Markus Klinik; Jan Martin Jansen; Rinus Plasmeijer (IFL, 2017)

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

Predicting resource consumption of higher-order workflows. - Markus Klinik; Jurriaan Hage; Jan Martin Jansen; Rinus Plasmeijer (PEPM, 2017)

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

A Task-Based DSL for Microcomputers. - Pieter W. M. Koopman; Mart Lubbers; Rinus Plasmeijer (RWDSL@CGO, 2018)

Task Oriented Programming and the Internet of Things. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2018)

Writing Internet of Things Applications with Task Oriented Programming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (CEFP, 2019)

A new view on parser combinators. - Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2019)

Interpreting task oriented programs on tiny computers. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2019)

Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. - Camil Staps; John H. G. van Groningen; Rinus Plasmeijer (IFL, 2019)

Multitasking on Microcontrollers using Task Oriented Programming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (MIPRO, 2019)

Typed Directional Composable Editors in iTasks. - Bas Lijnse; Rinus Plasmeijer (IFL, 2020)

Dynamic Editors for Well-Typed Expressions. - Pieter W. M. Koopman; Steffen Michels; Rinus Plasmeijer (TFP, 2021)

First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (IFL, 2022)

Writing Internet of Things Applicatations with Task-Oriented Programming. - Mart Lubbers; Pieter W. M. Koopman; Rinus Plasmeijer (CoRR, 2022)