Követés
rinus plasmeijer
rinus plasmeijer
professor of computer science, radboud university nijmegen
E-mail megerősítve itt: cs.ru.nl - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel …, 1987
5181987
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, MJ Plasmeijer, MCJD van Eekelen
John Wiley and Sons Ltd., 1993
2301993
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
1402003
The ins and outs of Clean I/O
P Achten, R Plasmeijer
Journal of Functional Programming 5 (1), 81-110, 1995
1291995
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
M De Mol, M Van Eekelen, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 55-71, 2001
1142001
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
992007
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
841994
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
831993
Uniqueness typing simplified
E De Vries, R Plasmeijer, DM Abrahamson
Implementation and Application of Functional Languages: 19th International …, 2008
802008
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
762012
Interactive functional objects in Clean
P Achten, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 304-321, 1997
731997
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
681998
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
612005
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
571991
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
501998
Input–output tools: a language facility for interactive and real-time systems
J Van Den Bos, MJ Plasmeijer, PH Hartel
IEEE Transactions on Software Engineering, 247-259, 1983
491983
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20