rinus plasmeijer
rinus plasmeijer
professor of computer science, radboud university nijmegen
cs.ru.nl üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Term graph rewriting
HP Barendregt, MCJD van Eekelen, JRW Glauert, JR Kennaway, ...
International conference on parallel architectures and languages Europe, 141-158, 1987
4861987
Functional programming and parallel graph rewriting
R Plasmeijer, M Van Eekelen, MJ Plasmeijer
Addison-wesley, 1993
4411993
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
Conference on Functional Programming Languages and Computer Architecture …, 1987
1921987
A generic programming extension for Clean
A Alimarine, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 168-185, 2001
1422001
Concurrent clean
E Nöcker, JEW Smetsers, MCJD van Eekelen, MJ Plasmeijer
International Conference on Parallel Architectures and Languages Europe, 202-219, 1991
1421991
Gast: Generic automated software testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 84-100, 2002
1352002
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
Lecture notes in computer science, 55-71, 2002
912002
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
862007
High level specification of I/O in functional languages
P Achten, J Van Groningen, R Plasmeijer
Functional Programming, Glasgow 1992, 1-17, 1993
781993
Interactive functional objects in Clean
P Achten, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 304-321, 1997
701997
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, 358-379, 1994
691994
Concurrent Clean language report-version 1.3
R Plasmeijer, M van Eekelen
Nijmegen: Computer Science Institute, 1998
661998
Uniqueness typing simplified
E De Vries, R Plasmeijer, DM Abrahamson
Symposium on Implementation and Application of Functional Languages, 201-218, 2007
632007
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
562012
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
552005
Generating efficient code for lazy functional languages
S Smetsers, E Nöcker, J Van Groningen, R Plasmeijer
Conference on Functional Programming Languages and Computer Architecture …, 1991
501991
Concurrent clean language report
R Plasmeijer, M van Eekelen
High Level Software Tools BV and University of Nijmegen, version 1, 1998
481998
iData for the world wide web–programming interconnected web forms
R Plasmeijer, P Achten
International Symposium on Functional and Logic Programming, 242-258, 2006
462006
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20