Marinus J. Plasmeijer

Rinus Plasmeijer

2008
69		Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures Springer 2008
68	EE	Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
67	EE	Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten: Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66
66		Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231
2007
65	EE	Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200
64	EE	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
63	EE	Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301
62	EE	Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
61	EE	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152
60	EE	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
2006
59	EE	Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164
58	EE	Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132
57	EE	Rinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258
56	EE	Rinus Plasmeijer, Peter Achten: A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125
55	EE	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198
54	EE	Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper: Fact-Oriented Modeling from a Programming Language Designer's Perspective. OTM Workshops (2) 2006: 1170-1180
53		Pieter W. M. Koopman, Rinus Plasmeijer: Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54
52		Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90
2005
51	EE	Rinus Plasmeijer, Peter Achten: Generic Editors for the World Wide Web. CEFP 2005: 1-34
50	EE	Pieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61
49	EE	Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer: There and back again: arrows for invertible programming. Haskell 2005: 86-97
48	EE	Rinus Plasmeijer, Peter Achten: The Implementation of iData. IFL 2005: 106-123
47	EE	Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer: Polytypic Syntax Tree Operations. IFL 2005: 142-159
46	EE	Betsy Pepels, Rinus Plasmeijer: Generating Applications from Object Role Models. OTM Workshops 2005: 656-665
45		Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178
2004
44	EE	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden: Automatic Generation of Editors for Higher-Order Data Structures. APLAS 2004: 262-279
43	EE	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden: GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming 2004: 210-244
42	EE	Rinus Plasmeijer, Arjen van Weelden: A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272
41	EE	Ronny Wichers Schreur, Marinus J. Plasmeijer: Dynamic Construction of Generic Functions. IFL 2004: 160-176
40	EE	Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55
39		Sander Evers, Peter Achten, Rinus Plasmeijer: Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128
2003
38	EE	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
37	EE	Arjen van Weelden, Rinus Plasmeijer: A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52
36		Pieter W. M. Koopman, Rinus Plasmeijer: Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129
2002
35	EE	Martijn Vervoort, Marinus J. Plasmeijer: Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117
34	EE	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer: When Generic Functions Use Dynamic Values. IFL 2002: 17-33
33	EE	Arjen van Weelden, Marinus J. Plasmeijer: Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231
32	EE	Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
2001
31	EE	Artem Alimarine, Marinus J. Plasmeijer: A Generic Programming Extension for Clean. IFL 2001: 168-185
30	EE	Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
2000
29	EE	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: 158-175
1999
28	EE	Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13
27		Mike Wiering, Peter Achten, Marinus J. Plasmeijer: Using Clean for Platform Games. IFL 1999: 1-17
26		Peter Achten, Marinus J. Plasmeijer: The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130
25		Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Keep it Clean: A Unique Approach to Functional Programming. SIGPLAN Notices 34(6): 23-31 (1999)
1998
24	EE	Pieter W. M. Koopman, Marinus J. Plasmeijer: Efficient Combinator Parsers. IFL 1998: 120-136
23	EE	Pascal R. Serrarens, Marinus J. Plasmeijer: Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245
1997
22	EE	Peter Achten, Marinus J. Plasmeijer: Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321
1996
21		Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128
1995
20		Pieter H. Hartel, Marinus J. Plasmeijer: Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings Springer 1995
19		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227
18	EE	Marinus J. Plasmeijer: CLEAN: a programming environment based on term graph rewriting. Electr. Notes Theor. Comput. Sci. 2: (1995)
17		Peter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995)
16		Pieter H. Hartel, Marinus J. Plasmeijer: Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5(3): 279-281 (1995)
15		Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Operational Machine Specification in a Functional Programming Language. Softw., Pract. Exper. 25(5): 463-499 (1995)
1994
14		Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze: Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477
1993
13		Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Functional Programming and Parallel Graph Rewriting Addison-Wesley 1993
12		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: 358-379
1992
11		Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer: High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17
1991
10		Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer: Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617
9		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: 202-219
1990
8		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers: Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369
1989
7		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 Computing 9(2): 163-177 (1989)
1987
6		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: 364-384
5		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: 141-158
4		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: 159-175
1986
3		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239
1983
2		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): 247-259 (1983)
1981
1	EE	Jan van den Bos, Marinus J. Plasmeijer, Jan Stroet: Process Communication Based on Input Specifications. ACM Trans. Program. Lang. Syst. 3(3): 224-250 (1981)

Coauthor Index

1	David M. Abrahamson	[55] [60]
2	Peter Achten	[11] [17] [22] [26] [27] [34] [38] [39] [40] [43] [44] [48] [51] [56] [57] [58] [61] [64] [66] [67] [68]
3	Artem Alimarine	[31] [32] [34] [49]
4	Hendrik Pieter Barendregt (Henk Barendregt)	[4] [5] [7]
5	Erik Barendsen	[12]
6	Jan van den Bos	[1] [2]
7	T. H. Brus	[6]
8	Marko C. J. D. van Eekelen	[3] [4] [5] [6] [7] [8] [9] [12] [13] [15] [19] [21] [25] [28] [29] [30] [38] [40] [43] [44] [49] [62] [65]
9	Sander Evers	[39]
10	John R. W. Glauert	[4] [5] [7]
11	John H. G. van Groningen	[10] [11]
12	Pieter H. Hartel	[2] [16] [20]
13	Zoltán Horváth	[69]
14	Jan Martin Jansen	[52] [63] [67]
15	Richard Kennaway	[4] [5] [7]
16	Pieter W. M. Koopman	[15] [24] [29] [32] [36] [45] [50] [52] [53] [58] [59] [61] [63] [64] [66] [67] [68]
17	Herbert Kuchen	[14]
18	M. O. van Leer	[6]
19	Maarten de Mol	[30] [62] [65]
20	E. G. J. M. H. Nöcker	[9]
21	Eric Nöcker	[10]
22	Betsy Pepels	[46] [54]
23	Henderik Alex Proper (Erik Proper)	[54]
24	Ronny Wichers Schreur	[41]
25	Pascal R. Serrarens	[23]
26	M. Ronan Sleep	[4] [5] [7]
27	Sjaak Smetsers (J. E. W. Smetsers)	[8] [9] [10] [12] [21] [47] [49]
28	Anna Soós	[69]
29	Holger Stoltze	[14]
30	Jan Stroet	[1]
31	Jan Tretmans	[32]
32	Martijn Vervoort	[35]
33	Edsko de Vries	[55] [60]
34	Arjen van Weelden	[33] [37] [42] [43] [44] [47] [49]
35	Mike Wiering	[27]
36	Thorsten H.-G. Zörner	[29]
37	Viktória Zsók	[69]

Colors in the list of coauthors