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, ...
Berlin: Springer, 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
Functional Programming Languages and Computer Architecture: Portland, Oregon …, 1987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
Parle’91 Parallel Architectures and Languages Europe: Volume I: Parallel …, 1991
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
M De Mol, M Van Eekelen, R Plasmeijer
Implementation of Functional Languages: 13th International Workshop, IFL …, 2002
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
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: International Workshop Dagstuhl …, 1994
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
A software product certification model
P Heck, M Klabbers, M van Eekelen
Software Quality Journal 18, 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
Towards an intermediate language based on graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
Polynomial size analysis of first-order functions
O Shkaravska, R van Kesteren, M van Eekelen
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
A survey of authentication and communications security in online banking
S Kiljan, K Simoens, DD Cock, MV Eekelen, H Vranken
ACM Computing Surveys (CSUR) 49 (4), 1-35, 2016
Implementing a functional spreadsheet in Clean
WACAJ De Hoon, LMWJ Rutten, MCJD van Eekelen
Journal of Functional Programming 5 (3), 383-414, 1995
Evaluation of transaction authentication methods for online banking
S Kiljan, H Vranken, M van Eekelen
Future Generation Computer Systems 80, 430-447, 2018
Clean language report version 2.1
R Plasmeijer, M van Eekelen, J van Groningen
Gamification in educational software development
ALD Buisman, MCJD Van Eekelen
Proceedings of the Computer Science Education Research Conference, 9-20, 2014
Generic graphical user interfaces
P Achten, M Van Eekelen, R Plasmeijer
Implementation of Functional Languages: 15th International Workshop, IFL …, 2005
The system can't perform the operation now. Try again later.
Articles 1–20