dblp.uni-trier.dewww.uni-trier.de

Marko C. J. D. van Eekelen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
35EEOlha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren: Polynomial Size Analysis of First-Order Shapely Functions Logical Methods in Computer Science 5(2): (2009)
2008
34EEBernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS 2008: 85-102
33EERon 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
31EEMaarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200
30EEMaarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
29EELeonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen: Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132
28EEMarko 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
27EEOlha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen: Polynomial Size Analysis of First-Order Functions. TLCA 2007: 351-365
2005
26EEArtem 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
25EEMarko C. J. D. van Eekelen, Maarten de Mol: Proof Tool Support for Explicit Strictness. IFL 2005: 37-54
2004
24EEPeter 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
23EEPeter 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
22EEMalcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
21EEPeter 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
19EEPeter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
2001
18EEMaarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
2000
17EEThorsten 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
16EEMarinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13
15EEMaarten 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
13EEMarko 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
7EEE. 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
3EEHendrik 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
2EEHendrik 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)