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, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
5111987
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, M Jacobus, MCJD van Eekelen
Wiley, 1993
2231993
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
2151987
A generic programming extension for Clean
A Alimarine, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 168-185, 2001
1502001
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991
1501991
Gast: Generic Automated Software Testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Implementation of Functional Languages: 14th International Workshop, IFL …, 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
952007
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
811994
Uniqueness typing simplified
E De Vries, R Plasmeijer, DM Abrahamson
Implementation and Application of Functional Languages: 19th International …, 2008
792008
Interactive functional objects in Clean
P Achten, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 304-321, 1997
721997
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
702012
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
691998
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
592005
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
581987
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
551991
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