Marko van Eekelen
Marko van Eekelen
Open Universiteit Nederland & Radboud Universiteit
Verified email at - Homepage
Cited by
Cited by
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
Term graph rewriting: theory and practice
MR Sleep, MJ Plasmeijer, MCJD van Eekelen
Chichester: John Wiley & Sons, 1993
Clean—a language for functional graph rewriting
TH Brus, MCJD van Eekelen, MO Van Leer, MJ Plasmeijer
Conference on Functional Programming Languages and Computer Architecture …, 1987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
International Conference on Parallel Architectures and Languages Europe, 202-219, 1991
Theorem proving for functional programmers. Sparkle: A functional theorem prover
M De Mol, M Van Eekelen, R Plasmeijer
Lecture notes in computer science, 55-71, 2002
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
S Smetsers, E Barendsen, M van Eekelen, R Plasmeijer
Graph Transformations in Computer Science, 358-379, 1994
A software product certification model
P Heck, M Klabbers, M van Eekelen
Software Quality Journal 18 (1), 37-55, 2010
There and back again: arrows for invertible programming
A Alimarine, S Smetsers, A van Weelden, M van Eekelen, R Plasmeijer
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 86-97, 2005
Polynomial size analysis of first-order functions
O Shkaravska, R van Kesteren, M van Eekelen
International Conference on Typed Lambda Calculi and Applications, 351-365, 2007
Measuring dependency freshness in software systems
J Cox, E Bouwers, M Van Eekelen, J Visser
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
Implementing a Functional Spreadsheet in Clean.
WA de Hoon, LMWJ Rutten, MCJD van Eekelen
J. Funct. Program. 5 (3), 383-414, 1995
Generic graphical user interfaces
P Achten, M Van Eekelen, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 152-167, 2003
Clean language report version 2.1
R Plasmeijer, M van Eekelen, J van Groningen
Concurrent CLEAN Language Report (version 2.0), December 2001
R Plasmeijer, M van Eekelen
Compositional model-views with generic graphical user interfaces
P Achten, M Van Eekelen, R Plasmeijer
International Symposium on Practical Aspects of Declarative Languages, 39-55, 2004
Polynomial size analysis of first-order shapely functions
O Shkaravska, M Van Eekelen, R Van Kesteren
arXiv preprint arXiv:0902.2073, 2009
The functional strategy and transitive term rewriting systems
Y Toyama, S Smetsers, M van Eekelen, MJ Plasmeijer
Chichester: John Wiley & Sons, 1993
The system can't perform the operation now. Try again later.
Articles 1–20