Folgen
rinus plasmeijer
rinus plasmeijer
professor of computer science, radboud university nijmegen
Bestätigte E-Mail-Adresse bei cs.ru.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
4771987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4441993
Term graph rewriting: theory and practice
MR Sleep, MJ Plasmeijer, MCJD van Eekelen
Chichester: John Wiley & Sons, 1993
2161993
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
2011987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
International Conference on Parallel Architectures and Languages Europe, 202-219, 1991
1471991
A generic programming extension for Clean
A Alimarine, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 168-185, 2001
1432001
Gast: Generic automated software testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 84-100, 2002
1372002
The ins and outs of Clean I/O
P Achten, R Plasmeijer
Journal of Functional Programming 5 (1), 81-110, 1995
1251995
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
942002
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
882007
High level specification of I/O in functional languages
P Achten, J Groningen, R Plasmeijer
Functional Programming, Glasgow 1992, 1-17, 1993
801993
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
S Smetsers, E Barendsen, M Eekelen, R Plasmeijer
Graph Transformations in Computer Science, 358-379, 1994
731994
Uniqueness typing simplified
E Vries, R Plasmeijer, DM Abrahamson
Symposium on Implementation and Application of Functional Languages, 201-218, 2007
702007
Interactive functional objects in Clean
P Achten, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 304-321, 1997
701997
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
671998
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
612012
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, ...
International Conference on Parallel Architectures and Languages Europe, 159-175, 1987
561987
Generating efficient code for lazy functional languages
S Smetsers, E Nöcker, J Groningen, R Plasmeijer
Conference on Functional Programming Languages and Computer Architecture …, 1991
521991
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
491998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20