Follow
rinus plasmeijer
rinus plasmeijer
professor of computer science, radboud university nijmegen
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
Berlin: Springer, 1987
4851987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4511993
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
Functional Programming Languages and Computer Architecture: Portland, Oregon …, 1987
2061987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
Parle’91 Parallel Architectures and Languages Europe: Volume I: Parallel …, 1991
1501991
A generic programming extension for Clean
A Alimarine, R Plasmeijer
Lecture notes in computer science, 168-186, 2002
1462002
Gast: Generic automated software testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Lecture notes in computer science 2670, 84-100, 2003
1392003
The ins and outs of Clean I/O
P Achten, R Plasmeijer
Journal of Functional Programming 5 (1), 81-110, 1995
1271995
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
iTasks: executable specifications of interactive work flow systems for the web
R Plasmeijer, P Achten, P Koopman
ACM SIGPLAN Notices 42 (9), 141-152, 2007
912007
High level specification of I/O in functional languages
P Achten, J Van Groningen, R Plasmeijer
Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow …, 1993
841993
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
751994
Interactive functional objects in Clean
P Achten, R Plasmeijer
Implementation of Functional Languages: 9th International Workshop, IFL'97 …, 1998
721998
Uniqueness typing simplified
E De Vries, R Plasmeijer, DM Abrahamson
Implementation and Application of Functional Languages: 19th International …, 2008
702008
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
681998
Task-oriented programming in a pure functional language
R Plasmeijer, B Lijnse, S Michels, P Achten, P Koopman
Proceedings of the 14th symposium on Principles and Practice of Declarative …, 2012
662012
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
Generating efficient code for lazy functional languages
S Smetsers, E Nöcker, J van Groningen, R Plasmeijer
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
521991
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
491998
The system can't perform the operation now. Try again later.
Articles 1–20