Marinus J. Plasmeijer

According to our database, Marinus J. Plasmeijer authored at least 124 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Writing Internet of Things Applicatations with Task-Oriented Programming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

CoRR, 2022

2021

Dynamic Editors for Well-Typed Expressions.

Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

2020

Typed Directional Composable Editors in iTasks.

Bas Lijnse, Rinus Plasmeijer

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

Multitasking on Microcontrollers using Task Oriented Programming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 42nd International Convention on Information and Communication Technology, 2019

Lazy interworking of compiled and interpreted code for sandboxing and distributed systems.

Camil Staps, John H. G. van Groningen, Rinus Plasmeijer

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Interpreting task oriented programs on tiny computers.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

A new view on parser combinators.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Writing Internet of Things Applications with Task Oriented Programming.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019

2018

Task Oriented Programming and the Internet of Things.

Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

A Task-Based DSL for Microcomputers.

Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer

Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017

Maintaining Separation of Concerns Through Task Oriented Software Development.

Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Predicting resource consumption of higher-order workflows.

Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

A Distributed Dynamic Architecture for Task Oriented Programming.

Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines.

Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Towards the Layout of Things.

Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

A Shallow Embedded Type Safe Extendable DSL for the Arduino.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

Static and dynamic visualisations of monadic programs.

Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014

Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.

Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten

Proceedings of the Trends in Functional Programming, 2014

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.

Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Parametric lenses: change notification for bidirectional lenses.

László Domoszlai, Bas Lijnse, Rinus Plasmeijer

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Editlets: type-based, client-side editors for iTasks.

László Domoszlai, Bas Lijnse, Rinus Plasmeijer

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics.

Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

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

Proceedings of the Active Media Technology - 10th International Conference, 2014

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

Model-Based Shrinking for State-Based Testing.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Tasklets: Client-Side Evaluation for iTask3.

László Domoszlai, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

An Introduction to Task Oriented Programming.

Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012

Task-oriented programming in a pure functional language.

Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman

Proceedings of the Principles and Practice of Declarative Programming, 2012

CCL: A Lightweight ORM Embedding in Clean.

Bas Lijnse, Patrick van Bommel, Rinus Plasmeijer

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

2011

Generic Executable Semantics for D-Clean.

Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Third Workshop on Generative Technologies, 2011

GiN: A Graphical Language and Tool for Defining iTask Workflows.

Jeroen Henrix, Rinus Plasmeijer, Peter Achten

Proceedings of the Trends in Functional Programming, 12th International Symposium, 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

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Getting a grip on tasks that coordinate tasks.

Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels

Proceedings of the Language Descriptions, Tools and Applications, 2011

Capturing the Netherlands Coast Guard's SAR workflow with iTasks.

Bas Lijnse, Jan Martin Jansen, Ruud Nanne, Rinus Plasmeijer

Proceedings of the 8th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2011

Model Based Testing with Logical Properties versus State Machines.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2011

Embedding polymorphic dynamic typing.

Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Defining Multi-user Web Applications with iTasks.

Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

Testing with Functional Reference Implementations.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Embedding a web-based workflow management system in a functional language.

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Towards dynamic workflow support for crisis management.

Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer

Proceedings of the 7th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2010

iTask as a New Paradigm for Building GUI Applications.

Steffen Michels, Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2010

Ad-hoc polymorphism and dynamic typing in a statically typed functional language.

Thomas van Noort, Peter Achten, Rinus Plasmeijer

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

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

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009

A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes.

Thomas van Noort, Peter Achten, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2009

iTasks 2: iTasks for End-users.

Bas Lijnse, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

Synthesis of Functions Using Generic Programming.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008

Efficient and Type-Safe Generic Data Storage.

Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer

Proceedings of the First Workshop on Generative Technologies, 2008

Validating Specifications for Model-Based Testing.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.

Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Model-Based Testing of Thin-Client Web Applications and Navigation Input.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the Practical Aspects of Declarative Languages, 2008

Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases.

Bas Lijnse, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2008

An Executable and Testable Semantics for iTasks.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2008

iEditors: Extending iTask with Interactive Plug-ins.

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman

Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

An iTask Case Study: A Conference Management System.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

Uniqueness Typing Simplified.

Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson

Proceedings of the Implementation and Application of Functional Languages, 2007

iTasks: executable specifications of interactive work flow systems for the web.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

Proving Properties of Lazy Functional Programs with Sparkle.

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

From Interpretation to Compilation.

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

A Single-Step Term-Graph Reduction System for Proof Assistants.

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Systematic synthesis of functions.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Efficient interpretation by transforming data types and patterns to functions.

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Fact-Oriented Modeling from a Programming Language Designer's Perspective.

Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Uniqueness Typing Redefined.

Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson

Proceedings of the Implementation and Application of Functional Languages, 2006

A Conference Management System Based on the iData Toolkit.

Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2006

iData for the World Wide Web - Programming Interconnected Web Forms.

Rinus Plasmeijer, Peter Achten

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Model-Based Testing of Thin-Client Web Applications.

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Generic Programming for Software Evolution.

Johan Jeuring, Rinus Plasmeijer

Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

Automatic Testing of Higher Order Functions.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Generic generation of the elements of data types.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Generating Applications from Object Role Models.

Betsy Pepels, Rinus Plasmeijer

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Polytypic Syntax Tree Operations.

Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2005

The Implementation of iData.

Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2005

There and back again: arrows for invertible programming.

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

Generic Editors for the World Wide Web.

Rinus Plasmeijer, Peter Achten

Proceedings of the Central European Functional Programming School, First Summer School, 2005

Fully Automatic Testing with Functions as Specifications.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004

Disjoint forms in graphical user interfaces.

Sander Evers, Peter Achten, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Model-Views with Generic Graphical User Interfaces.

Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Dynamic Construction of Generic Functions.

Ronny Wichers Schreur, Marinus J. Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2004

Automatic Generation of Editors for Higher-Order Data Structures.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

A Functional Shell That Operates on Typed and Compiled Applications.

Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Advanced Functional Programming, 2004

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

Proceedings of the Advanced Functional Programming, 2004

2003

Testing reactive systems with GAST.

Pieter W. M. Koopman, Rinus Plasmeijer

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

A Functional Shell That Dynamically Combines Compiled Code.

Arjen van Weelden, Rinus Plasmeijer

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Generic Graphical User Interfaces.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Towards a Strongly Typed Functional Operating System.

Arjen van Weelden, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Lazy Dynamic Input/Output in the Lazy Functional Language Clean.

Martijn Vervoort, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Gast: Generic Automated Software Testing.

Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

When Generic Functions Use Dynamic Values.

Peter Achten, Artem Alimarine, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001

Theorem Proving for Functional Programmers.

Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

A Generic Programming Extension for Clean.

Artem Alimarine, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000

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

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Keep it Clean: A Unique Approach to Functional Programming.

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen

ACM SIGPLAN Notices, 1999

Using Clean for Platform Games.

Mike Wiering, Peter Achten, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

The Implementation of Interactive Local State Transition Systems in Clean.

Peter Achten, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Term Graph Rewriting and Mobile Expressions in Functional Languages.

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Parallel and Distributed Programming in Concurrent Clean.

Rinus Plasmeijer, Marko C. J. D. van Eekelen, Marco Pil, Pascal R. Serrarens

Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998

Explicit Message Passing for Concurrent Clean.

Pascal R. Serrarens, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Efficient Combinator Parsers.

Pieter W. M. Koopman, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997

Interactive Functional Objects in Clean.

Peter Achten, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

Graph Rewriting Semantics for Functional Programming Languages.

Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

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

Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages.

Pieter H. Hartel, Marinus J. Plasmeijer

J. Funct. Program., 1995

The Ins and Outs of Clean I/O.

Peter Achten, Marinus J. Plasmeijer

J. Funct. Program., 1995

CLEAN: a programming environment based on term graph rewriting.

Marinus J. Plasmeijer

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Constructing Medium Sized Efficient Functional Programs in Clean.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Advanced Functional Programming, 1995

1994

Efficient Distributed Memory Implementation of a Data Parallel Functional Language.

Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

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

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Functional Programming and Parallel Graph Rewriting

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen

Addison-Wesley, ISBN: 0-201-41663-8, 1993

1992

High Level Specification of I/O in Functional Languages.

Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer

Proceedings of the Functional Programming, 1992

1991

Concurrent Clean.

E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Generating Efficient Code for Lazy Functional Languages.

Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Parallel Graph Rewriting on Loosely Coupled Machine Architectures.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

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

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

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

Proceedings of the PARLE, 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

Proceedings of the PARLE, 1987

CLEAN: A language for functional graph writing.

T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Specification of reduction strategies in term rewriting systems.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1983

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

1981

Process Communication Based on Input Specifications.

Jan van den Bos, Marinus J. Plasmeijer, Jan Stroet

ACM Trans. Program. Lang. Syst., 1981