Marinus J. Plasmeijer

Rinus Plasmeijer

	2009
72		Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra: Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures Springer 2009
71		Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer: Efficient and Type-Safe Generic Data Storage. Electr. Notes Theor. Comput. Sci. 238(2): 59-70 (2009)
	2008
70		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
69		Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort: An iTask Case Study: A Conference Management System. Advanced Functional Programming 2008: 306-329
68		Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
67		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		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		Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
63		Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301
62		Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
61		Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152
60		Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
	2006
59		Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164
58		Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132
57		Rinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258
56		Rinus Plasmeijer, Peter Achten: A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125
55		Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198
54		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		Rinus Plasmeijer, Peter Achten: Generic Editors for the World Wide Web. CEFP 2005: 1-34
50		Pieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61
49		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		Rinus Plasmeijer, Peter Achten: The Implementation of iData. IFL 2005: 106-123
47		Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer: Polytypic Syntax Tree Operations. IFL 2005: 142-159
46		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		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		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		Rinus Plasmeijer, Arjen van Weelden: A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272
41		Ronny Wichers Schreur, Marinus J. Plasmeijer: Dynamic Construction of Generic Functions. IFL 2004: 160-176
40		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		Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
37		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		Martijn Vervoort, Marinus J. Plasmeijer: Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117
34		Peter Achten, Artem Alimarine, Marinus J. Plasmeijer: When Generic Functions Use Dynamic Values. IFL 2002: 17-33
33		Arjen van Weelden, Marinus J. Plasmeijer: Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231
32		Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
	2001
31		Artem Alimarine, Marinus J. Plasmeijer: A Generic Programming Extension for Clean. IFL 2001: 168-185
30		Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
	2000
29		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		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		Pieter W. M. Koopman, Marinus J. Plasmeijer: Efficient Combinator Parsers. IFL 1998: 120-136
23		Pascal R. Serrarens, Marinus J. Plasmeijer: Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245
	1997
22		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		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		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] [69]
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	[70]
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] [69] [72]
17	Herbert Kuchen	[14]
18	M. O. van Leer	[6]
19	Bas Lijnse	[69]
20	Maarten de Mol	[30] [62] [65]
21	E. G. J. M. H. Nöcker	[9]
22	Eric Nöcker	[10]
23	Thomas van Noort	[69]
24	Betsy Pepels	[46] [54]
25	Henderik Alex Proper (Erik Proper)	[54]
26	Ronny Wichers Schreur	[41]
27	Pascal R. Serrarens	[23]
28	M. Ronan Sleep	[4] [5] [7]
29	Sjaak Smetsers (J. E. W. Smetsers)	[8] [9] [10] [12] [21] [47] [49] [71]
30	Anna Soós	[70]
31	Holger Stoltze	[14]
32	Jan Stroet	[1]
33	S. Doaitse Swierstra	[72]
34	Jan Tretmans	[32]
35	Martijn Vervoort	[35]
36	Edsko de Vries	[55] [60]
37	Arjen van Weelden	[33] [37] [42] [43] [44] [47] [49] [71]
38	Mike Wiering	[27]
39	Thorsten H.-G. Zörner	[29]
40	Viktória Zsók	[70]

Colors in the list of coauthors