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, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
5011987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4491993
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
2111987
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991
1521991
A generic programming extension for Clean
A Alimarine, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 168-185, 2001
1452001
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
1241995
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
791994
Uniqueness typing simplified
E De Vries, R Plasmeijer, DM Abrahamson
Implementation and Application of Functional Languages: 19th International …, 2008
772008
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
672012
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
661998
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
531991
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
481998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20