Marinus J. Plasmeijer

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