Marko C. J. D. van Eekelen

2009
34	EE	Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren: Polynomial Size Analysis of First-Order Shapely Functions CoRR abs/0902.2073: (2009)
2008
33	EE	Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen: Inferring Static Non-monotone Size-aware Types Through Testing. Electr. Notes Theor. Comput. Sci. 216: 45-63 (2008)
2007
32		Marko C. J. D. van Eekelen: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. Intellect 2007
31	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
30	EE	Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
29	EE	Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132
28	EE	Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko: Analysis of a Session-Layer Protocol in mCRL2. FMICS 2007: 182-199
27	EE	Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen: Polynomial Size Analysis of First-Order Functions. TLCA 2007: 351-365
2005
26	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
25	EE	Marko C. J. D. van Eekelen, Maarten de Mol: Proof Tool Support for Explicit Strictness. IFL 2005: 37-54
2004
24	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
23	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
22	EE	Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
21	EE	Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55
20		Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol: Proof support for generic type classes. Trends in Functional Programming 2004: 1-16
2003
19	EE	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
2001
18	EE	Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
2000
17	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
16	EE	Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13
15	EE	Maarten de Mol, Marko C. J. D. van Eekelen: A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE 1999: 271-278
14		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)
1996
13		Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128
1995
12		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227
11		Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen: Implementing a Functional Spreadsheet in Clean. J. Funct. Program. 5(3): 383-414 (1995)
10		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)
1993
9		Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Functional Programming and Parallel Graph Rewriting Addison-Wesley 1993
8		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
1991
7		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
6		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
5		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
4		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
3		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
2		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
1		Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239

Coauthor Index

1	Peter Achten	[19] [21] [23] [24]
2	Artem Alimarine	[26]
3	Hendrik Pieter Barendregt (Henk Barendregt)	[2] [3] [5]
4	Erik Barendsen	[8]
5	T. H. Brus	[4]
6	Andrew Butterfield	[22]
7	Malcolm Dowse	[22]
8	John R. W. Glauert	[2] [3] [5]
9	Stefan ten Hoedt	[28]
10	Walter A. C. A. J. de Hoon	[11]
11	Richard Kennaway	[2] [3] [5]
12	Ron van Kesteren	[20] [27] [33] [34]
13	Pieter W. M. Koopman	[10] [17]
14	M. O. van Leer	[4]
15	Leonard Lensink	[29]
16	Maarten de Mol	[15] [18] [20] [25] [30] [31]
17	E. G. J. M. H. Nöcker	[7]
18	Marinus J. Plasmeijer (Rinus Plasmeijer)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [16] [17] [18] [19] [21] [23] [24] [26] [30] [31]
19	Luc M. W. J. Rutten	[11]
20	René Schreurs	[28]
21	Olha Shkaravska	[27] [33] [34]
22	M. Ronan Sleep	[2] [3] [5]
23	Sjaak Smetsers (J. E. W. Smetsers)	[6] [7] [8] [13] [26] [29]
24	Yaroslav S. Usenko	[28]
25	Arjen van Weelden	[23] [24] [26]
26	Thorsten H.-G. Zörner	[17]

Colors in the list of coauthors