Marko van Eekelen
Marko van Eekelen
Open Universiteit Nederland & Radboud Universiteit
Verifierad e-postadress på cs.ru.nl - Startsida
Titel
Citeras av
Citeras av
År
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
4921987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4421993
Term graph rewriting: theory and practice
MR Sleep, MJ Plasmeijer, MCJD van Eekelen
Chichester: John Wiley & Sons, 1993
2201993
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
1931987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
International Conference on Parallel Architectures and Languages Europe, 202-219, 1991
1421991
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
912002
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
691994
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
661998
A software product certification model
P Heck, M Klabbers, M van Eekelen
Software Quality Journal 18 (1), 37-55, 2010
612010
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
552005
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
542015
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
532007
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
481998
Implementing a functional spreadsheet in Clean
WACAJ De Hoon, LMWJ Rutten, MCJD van Eekelen
Journal of Functional Programming 5 (3), 383-414, 1995
451995
Generic graphical user interfaces
P Achten, M Van Eekelen, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 152-167, 2003
442003
Clean language report version 2.1
R Plasmeijer, M van Eekelen, J van Groningen
442002
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
412004
Polynomial size analysis of first-order shapely functions
R van Kesteren, M Van Eekelen, O Shkaravska
Logical Methods in Computer Science 5, 2009
402009
Concurrent CLEAN Language Report (version 2.0), December 2001
R Plasmeijer, M van Eekelen
39
The functional strategy and transitive term rewriting systems
Y Toyama, S Smetsers, M van Eekelen, MJ Plasmeijer
Chichester: John Wiley & Sons, 1993
371993
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20