Следене
Marko van Eekelen
Marko van Eekelen
Open Universiteit Nederland & Radboud Universiteit
Потвърден имейл адрес: cs.ru.nl - Начална страница
Заглавие
Позовавания
Позовавания
Година
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
5031987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4501993
Term graph rewriting: theory and practice
MR Sleep, MJ Plasmeijer, MCJD van Eekelen
Chichester: John Wiley & Sons, 1993
2271993
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
2121987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991
1531991
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
1122002
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
972015
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
801994
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
681998
A software product certification model
P Heck, M Klabbers, M van Eekelen
Software Quality Journal 18, 37-55, 2010
662010
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
582005
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
571987
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
552016
Evaluation of transaction authentication methods for online banking
S Kiljan, H Vranken, M van Eekelen
Future Generation Computer Systems 80, 430-447, 2018
502018
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
502007
Implementing a functional spreadsheet in Clean
WACAJ De Hoon, LMWJ Rutten, MCJD van Eekelen
Journal of Functional Programming 5 (3), 383-414, 1995
501995
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
481998
Gamification in educational software development
ALD Buisman, MCJD Van Eekelen
Proceedings of the Computer Science Education Research Conference, 9-20, 2014
462014
Clean language report version 2.1
R Plasmeijer, M van Eekelen, J van Groningen
432002
Generic graphical user interfaces
P Achten, M Van Eekelen, R Plasmeijer
Implementation of Functional Languages: 15th International Workshop, IFL …, 2005
422005
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20