Marinus J. Plasmeijer

Publication Activity (10 Years)

Years Active: 1981-2004
Publications (10 Years): 0

Publications

Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Compositional Model-Views with Generic Graphical User Interfaces. PADL (2004)
Ronny Wichers Schreur, Marinus J. Plasmeijer
Dynamic Construction of Generic Functions. IFL (2004)
Martijn Vervoort, Marinus J. Plasmeijer
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL (2002)
Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
Gast: Generic Automated Software Testing. IFL (2002)
Peter Achten, Artem Alimarine, Marinus J. Plasmeijer
When Generic Functions Use Dynamic Values. IFL (2002)
Arjen van Weelden, Marinus J. Plasmeijer
Towards a Strongly Typed Functional Operating System. IFL (2002)
Artem Alimarine, Marinus J. Plasmeijer
A Generic Programming Extension for Clean. IFL (2001)
Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Theorem Proving for Functional Programmers. IFL (2001)
Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Polygonizing Implicit Surfaces in a Purely Functional Way. IFL (2000)
Peter Achten, Marinus J. Plasmeijer
The Implementation of Interactive Local State Transition Systems in Clean. IFL (1999)
Mike Wiering, Peter Achten, Marinus J. Plasmeijer
Using Clean for Platform Games. IFL (1999)
Marinus J. Plasmeijer, Marko C. J. D. van Eekelen
Keep it Clean: A Unique Approach to Functional Programming. ACM SIGPLAN Notices 34 (6) (1999)
Marinus J. Plasmeijer, Marko C. J. D. van Eekelen
Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE (1999)
Pascal R. Serrarens, Marinus J. Plasmeijer
Explicit Message Passing for Concurrent Clean. IFL (1998)
Pieter W. M. Koopman, Marinus J. Plasmeijer
Efficient Combinator Parsers. IFL (1998)
Peter Achten, Marinus J. Plasmeijer
Interactive Functional Objects in Clean. Implementation of Functional Languages (1997)
Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer
Graph Rewriting Semantics for Functional Programming Languages. CSL (1996)
Pieter H. Hartel, Marinus J. Plasmeijer
Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5 (3) (1995)
Marinus J. Plasmeijer
CLEAN: a programming environment based on term graph rewriting. Electron. Notes Theor. Comput. Sci. 2 (1995)
Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming (1995)
Peter Achten, Marinus J. Plasmeijer
The Ins and Outs of Clean I/O. J. Funct. Program. 5 (1) (1995)
Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Operational Machine Specification in a Functional Programming Language. Softw. Pract. Exp. 25 (5) (1995)
Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze
Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE (1994)
Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer
High Level Specification of I/O in Functional Languages. Functional Programming (1992)
Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer
Generating Efficient Code for Lazy Functional Languages. FPCA (1991)
E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Concurrent Clean. PARLE (2) (1991)
Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS (1990)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
LEAN: an intermediate language based on graph rewriting. Parallel Comput. 9 (2) (1989)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
Towards an Intermediate Language based on Graph Rewriting. PARLE (2) (1987)
T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer
CLEAN: A language for functional graph writing. FPCA (1987)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel, Louis O. Hertzberger, Willem G. Vree
The Dutch parallel reduction machine project. Future Gener. Comput. Syst. 3 (4) (1987)
Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
Term Graph Rewriting. PARLE (2) (1987)
Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Specification of reduction strategies in term rewriting systems. Graph Reduction (1986)
Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. IEEE Trans. Software Eng. 9 (3) (1983)
Jan van den Bos, Marinus J. Plasmeijer, Jan Stroet
Process Communication Based on Input Specifications. ACM Trans. Program. Lang. Syst. 3 (3) (1981)