Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marinus J. Plasmeijer
Rinus Plasmeijer
2010 – today
- 2013
[j11]Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer: EditorArrow: An arrow-based model for editor-based programming. J. Funct. Program. 23(2): 185-224 (2013)- 2012
- [c76]Bas Lijnse, Patrick van Bommel, Rinus Plasmeijer: CCL: A Lightweight ORM Embedding in Clean. OTM Workshops 2012: 338-347
- [c75]Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman: Task-oriented programming in a pure functional language. PPDP 2012: 195-206
- 2011
- [j10]Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer: Generic Executable Semantics for D-Clean. Electr. Notes Theor. Comput. Sci. 279(3): 85-95 (2011)
- [c74]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133
- [c73]Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels: Getting a grip on tasks that coordinate tasks. LDTA 2011: 1
- [c72]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen: iTasks for a change: type-safe run-time change in dynamically evolving workflows. PEPM 2011: 151-160
- [c71]Jeroen Henrix, Rinus Plasmeijer, Peter Achten: GiN: A Graphical Language and Tool for Defining iTask Workflows. Trends in Functional Programming 2011: 163-178
- 2010
- [c70]John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer: Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. Haskell 2010: 49-60
- [c69]Thomas van Noort, Peter Achten, Rinus Plasmeijer: Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84
- [c68]Steffen Michels, Rinus Plasmeijer, Peter Achten: iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168
- [c67]Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten: Embedding a web-based workflow management system in a functional language. LDTA 2010: 7
- [c66]Pieter W. M. Koopman, Rinus Plasmeijer: Testing with Functional Reference Implementations. Trends in Functional Programming 2010: 134-149
- [e5]Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.): Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Lecture Notes in Computer Science 5812, Springer 2010, ISBN 978-3-642-11930-9
- [e4]Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (Eds.): Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Lecture Notes in Computer Science 6299, Springer 2010, ISBN 978-3-642-17684-5
2000 – 2009
- 2009
- [j9]Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer: Efficient and Type-Safe Generic Data Storage. Electr. Notes Theor. Comput. Sci. 238(2): 59-70 (2009)
- [c65]Pieter W. M. Koopman, Rinus Plasmeijer: Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49
- [c64]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267
- [e3]Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra (Eds.): Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832, Springer 2009, ISBN 978-3-642-04651-3
- 2008
- [c63]Rinus 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
- [c62]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Testing and Validating the Quality of Specifications. ICST Workshops 2008: 41-52
- [c61]Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman: iEditors: Extending iTask with Interactive Plug-ins. IFL 2008: 192-211
- [c60]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Executable and Testable Semantics for iTasks. IFL 2008: 212-232
- [c59]Bas Lijnse, Rinus Plasmeijer: Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases. IFL 2008: 272-290
- [c58]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315
- [c57]Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten: Declarative Ajax and client side evaluation of workflows using iTasks. PPDP 2008: 56-66
- [c56]Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231
- [e2]Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók (Eds.): Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures. Lecture Notes in Computer Science 5161, Springer 2008, ISBN 978-3-540-88058-5
- 2007
- [c55]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200
- [c54]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40
- [c53]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86
- [c52]Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301
- [c51]Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152
- [c50]Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218
- 2006
- [c49]Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164
- [c48]Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132
- [c47]Rinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258
- [c46]Rinus Plasmeijer, Peter Achten: A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125
- [c45]Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198
- [c44]Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper: Fact-Oriented Modeling from a Programming Language Designer's Perspective. OTM Workshops (2) 2006: 1170-1180
- [c43]Pieter W. M. Koopman, Rinus Plasmeijer: Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54
- [c42]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
- [c41]
- [c40]Pieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61
- [c39]Artem 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
- [c38]
- [c37]Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer: Polytypic Syntax Tree Operations. IFL 2005: 142-159
- [c36]Betsy Pepels, Rinus Plasmeijer: Generating Applications from Object Role Models. OTM Workshops 2005: 656-665
- [c35]Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178
- 2004
- [c34]Peter 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
- [c33]Rinus Plasmeijer, Arjen van Weelden: A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272
- [c32]Peter 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
- [c31]Ronny Wichers Schreur, Marinus J. Plasmeijer: Dynamic Construction of Generic Functions. IFL 2004: 160-176
- [c30]Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55
- [c29]Sander Evers, Peter Achten, Rinus Plasmeijer: Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128
- 2003
- [c28]Arjen van Weelden, Rinus Plasmeijer: A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52
- [c27]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167
- [c26]Pieter W. M. Koopman, Rinus Plasmeijer: Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129
- 2002
- [c25]Peter Achten, Artem Alimarine, Marinus J. Plasmeijer: When Generic Functions Use Dynamic Values. IFL 2002: 17-33
- [c24]Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100
- [c23]Martijn Vervoort, Marinus J. Plasmeijer: Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117
- [c22]Arjen van Weelden, Marinus J. Plasmeijer: Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231
- 2001
- [c21]Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71
- [c20]Artem Alimarine, Marinus J. Plasmeijer: A Generic Programming Extension for Clean. IFL 2001: 168-185
- 2000
- [c19]Thorsten 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
1990 – 1999
- 1999
- [j8]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)
- [c18]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13
- [c17]
- [c16]Peter Achten, Marinus J. Plasmeijer: The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130
- 1998
- [c15]
- [c14]Pascal R. Serrarens, Marinus J. Plasmeijer: Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245
- 1997
- [c13]Peter Achten, Marinus J. Plasmeijer: Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321
- 1996
- [c12]Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128
- 1995
- [j7]Marinus J. Plasmeijer: CLEAN: a programming environment based on term graph rewriting. Electr. Notes Theor. Comput. Sci. 2: 215-221 (1995)
- [j6]Peter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995)
- [j5]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)
- [j4]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)
- [c11]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227
- [e1]Pieter H. Hartel, Marinus J. Plasmeijer (Eds.): Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings. Lecture Notes in Computer Science 1022, Springer 1995, ISBN 3-540-60675-0
- 1994
- [c10]Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze: Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477
- 1993
- [b1]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Functional Programming and Parallel Graph Rewriting. Addison-Wesley 1993, ISBN 0-201-41663-8
- [c9]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
- [c8]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
- [c7]Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer: Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617
- [c6]E. 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
- [c5]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
1980 – 1989
- 1989
- [j3]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
- [c4]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
- [c3]Hendrik 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
- [c2]Hendrik 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
- [c1]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239
- 1983
- [j2]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
- [j1]Jan 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-04 22:22 CEST by the dblp team