dblp.uni-trier.dewww.uni-trier.de

Marinus J. Plasmeijer Vis

Rinus Plasmeijer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
72EEPieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra: Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures Springer 2009
71EESjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer: Efficient and Type-Safe Generic Data Storage. Electr. Notes Theor. Comput. Sci. 238(2): 59-70 (2009)
2008
70 Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures Springer 2008
69EERinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort: An iTask Case Study: A Conference Management System. Advanced Functional Programming 2008: 306-329
68EEPieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
67EERinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten: Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66
66 Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231
2007
65EEMaarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200
64EERinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
63EEJan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301
62EEMaarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
61EERinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152
60EEEdsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
2006
59EEPieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164
58EEPieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132
57EERinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258
56EERinus Plasmeijer, Peter Achten: A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125
55EEEdsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198
54EEBetsy Pepels, Rinus Plasmeijer, Henderik Alex Proper: Fact-Oriented Modeling from a Programming Language Designer's Perspective. OTM Workshops (2) 2006: 1170-1180
53 Pieter W. M. Koopman, Rinus Plasmeijer: Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54
52 Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90
2005
51EERinus Plasmeijer, Peter Achten: Generic Editors for the World Wide Web. CEFP 2005: 1-34
50EEPieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61
49EEArtem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer: There and back again: arrows for invertible programming. Haskell 2005: 86-97
48EERinus Plasmeijer, Peter Achten: The Implementation of iData. IFL 2005: 106-123
47EEArjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer: Polytypic Syntax Tree Operations. IFL 2005: 142-159
46EEBetsy Pepels, Rinus Plasmeijer: Generating Applications from Object Role Models. OTM Workshops 2005: 656-665
45 Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178
2004
44EEPeter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden: Automatic Generation of Editors for Higher-Order Data Structures. APLAS 2004: 262-279
43EEPeter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden: GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming 2004: 210-244
42EERinus Plasmeijer, Arjen van Weelden: A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272
41EERonny Wichers Schreur, Marinus J. Plasmeijer: Dynamic Construction of Generic Functions. IFL 2004: 160-176
40EEPeter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55
39 Sander Evers, Peter Achten, Rinus Plasmeijer: Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128
2003
38EEPeter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
37EEArjen van Weelden, Rinus Plasmeijer: A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52
36 Pieter W. M. Koopman, Rinus Plasmeijer: Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129
2002
35EEMartijn Vervoort, Marinus J. Plasmeijer: Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117
34EEPeter Achten, Artem Alimarine, Marinus J. Plasmeijer: When Generic Functions Use Dynamic Values. IFL 2002: 17-33
33EEArjen van Weelden, Marinus J. Plasmeijer: Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231
32EEPieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
2001
31EEArtem Alimarine, Marinus J. Plasmeijer: A Generic Programming Extension for Clean. IFL 2001: 168-185
30EEMaarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
2000
29EEThorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175
1999
28EEMarinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13
27 Mike Wiering, Peter Achten, Marinus J. Plasmeijer: Using Clean for Platform Games. IFL 1999: 1-17
26 Peter Achten, Marinus J. Plasmeijer: The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130
25 Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Keep it Clean: A Unique Approach to Functional Programming. SIGPLAN Notices 34(6): 23-31 (1999)
1998
24EEPieter W. M. Koopman, Marinus J. Plasmeijer: Efficient Combinator Parsers. IFL 1998: 120-136
23EEPascal R. Serrarens, Marinus J. Plasmeijer: Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245
1997
22EEPeter Achten, Marinus J. Plasmeijer: Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321
1996
21EEMarko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128
1995
20 Pieter H. Hartel, Marinus J. Plasmeijer: Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings Springer 1995
19 Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227
18EEMarinus J. Plasmeijer: CLEAN: a programming environment based on term graph rewriting. Electr. Notes Theor. Comput. Sci. 2: (1995)
17 Peter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995)
16 Pieter H. Hartel, Marinus J. Plasmeijer: Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5(3): 279-281 (1995)
15 Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Operational Machine Specification in a Functional Programming Language. Softw., Pract. Exper. 25(5): 463-499 (1995)
1994
14 Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze: Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477
1993
13 Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Functional Programming and Parallel Graph Rewriting Addison-Wesley 1993
12 Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 358-379
1992
11 Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer: High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17
1991
10 Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer: Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617
9EEE. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Concurrent Clean. PARLE (2) 1991: 202-219
1990
8 Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers: Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369
1989
7 Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep: LEAN: an intermediate language based on graph rewriting. Parallel Computing 9(2): 163-177 (1989)
1987
6 T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer: CLEAN: A language for functional graph writing. FPCA 1987: 364-384
5EEHendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep: Term Graph Rewriting. PARLE (2) 1987: 141-158
4EEHendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep: Towards an Intermediate Language based on Graph Rewriting. PARLE (2) 1987: 159-175
1986
3 Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239
1983
2 Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel: Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. IEEE Trans. Software Eng. 9(3): 247-259 (1983)
1981
1EEJan van den Bos, Marinus J. Plasmeijer, Jan Stroet: Process Communication Based on Input Specifications. ACM Trans. Program. Lang. Syst. 3(3): 224-250 (1981)

Coauthor Index

1David M. Abrahamson [55] [60]
2Peter Achten [11] [17] [22] [26] [27] [34] [38] [39] [40] [43] [44] [48] [51] [56] [57] [58] [61] [64] [66] [67] [68] [69]
3Artem Alimarine [31] [32] [34] [49]
4Hendrik Pieter Barendregt (Henk Barendregt) [4] [5] [7]
5Erik Barendsen [12]
6Jan van den Bos [1] [2]
7T. H. Brus [6]
8Marko C. J. D. van Eekelen [3] [4] [5] [6] [7] [8] [9] [12] [13] [15] [19] [21] [25] [28] [29] [30] [38] [40] [43] [44] [49] [62] [65]
9Sander Evers [39]
10John R. W. Glauert [4] [5] [7]
11John H. G. van Groningen [10] [11]
12Pieter H. Hartel [2] [16] [20]
13Zoltán Horváth [70]
14Jan Martin Jansen [52] [63] [67]
15Richard Kennaway [4] [5] [7]
16Pieter W. M. Koopman [15] [24] [29] [32] [36] [45] [50] [52] [53] [58] [59] [61] [63] [64] [66] [67] [68] [69] [72]
17Herbert Kuchen [14]
18M. O. van Leer [6]
19Bas Lijnse [69]
20Maarten de Mol [30] [62] [65]
21E. G. J. M. H. Nöcker [9]
22Eric Nöcker [10]
23Thomas van Noort [69]
24Betsy Pepels [46] [54]
25Henderik Alex Proper (Erik Proper) [54]
26Ronny Wichers Schreur [41]
27Pascal R. Serrarens [23]
28M. Ronan Sleep [4] [5] [7]
29Sjaak Smetsers (J. E. W. Smetsers) [8] [9] [10] [12] [21] [47] [49] [71]
30Anna Soós [70]
31Holger Stoltze [14]
32Jan Stroet [1]
33S. Doaitse Swierstra [72]
34Jan Tretmans [32]
35Martijn Vervoort [35]
36Edsko de Vries [55] [60]
37Arjen van Weelden [33] [37] [42] [43] [44] [47] [49] [71]
38Mike Wiering [27]
39Thorsten H.-G. Zörner [29]
40Viktória Zsók [70]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)