Marinus J. Plasmeijer

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)

Bas Lijnse, Patrick van Bommel, Rinus Plasmeijer: CCL: A Lightweight ORM Embedding in Clean. OTM Workshops 2012: 338-347

Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman: Task-oriented programming in a pure functional language. PPDP 2012: 195-206

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)

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model Based Testing with Logical Properties versus State Machines. IFL 2011: 116-133

Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels: Getting a grip on tasks that coordinate tasks. LDTA 2011: 1

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

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

Thomas van Noort, Peter Achten, Rinus Plasmeijer: Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP 2010: 73-84

Steffen Michels, Rinus Plasmeijer, Peter Achten: iTask as a New Paradigm for Building GUI Applications. IFL 2010: 153-168

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

Pieter W. M. Koopman, Rinus Plasmeijer: Testing with Functional Reference Implementations. Trends in Functional Programming 2010: 134-149

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

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

Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer: Efficient and Type-Safe Generic Data Storage. Electr. Notes Theor. Comput. Sci. 238(2): 59-70 (2009)

Pieter W. M. Koopman, Rinus Plasmeijer: Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Effective Methodology for Defining Consistent Semantics of Complex Systems. CEFP 2009: 224-267

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

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

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Testing and Validating the Quality of Specifications. ICST Workshops 2008: 41-52

Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman: iEditors: Extending iTask with Interactive Plug-ins. IFL 2008: 192-211

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: An Executable and Testable Semantics for iTasks. IFL 2008: 212-232

Bas Lijnse, Rinus Plasmeijer: Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases. IFL 2008: 272-290

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Model-Based Testing of Thin-Client Web Applications and Navigation Input. PADL 2008: 299-315

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

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer: Validating Specifications for Model-Based Testing. Software Engineering Research and Practice 2008: 225-231

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

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

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86

Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer: From Interpretation to Compilation. CEFP 2007: 286-301

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman: iTasks: executable specifications of interactive work flow systems for the web. ICFP 2007: 141-152

Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Simplified. IFL 2007: 201-218

Pieter W. M. Koopman, Rinus Plasmeijer: Automatic Testing of Higher Order Functions. APLAS 2006: 148-164

Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten: Model-Based Testing of Thin-Client Web Applications. FATES/RV 2006: 115-132

Rinus Plasmeijer, Peter Achten: iData for the World Wide Web - Programming Interconnected Web Forms. FLOPS 2006: 242-258

Rinus Plasmeijer, Peter Achten: A Conference Management System Based on the iData Toolkit. IFL 2006: 108-125

Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson: Uniqueness Typing Redefined. IFL 2006: 181-198

Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper: Fact-Oriented Modeling from a Programming Language Designer's Perspective. OTM Workshops (2) 2006: 1170-1180

Pieter W. M. Koopman, Rinus Plasmeijer: Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54

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

Rinus Plasmeijer, Peter Achten: Generic Editors for the World Wide Web. CEFP 2005: 1-34

Pieter W. M. Koopman, Rinus Plasmeijer: Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61

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

Rinus Plasmeijer, Peter Achten: The Implementation of iData. IFL 2005: 106-123

Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer: Polytypic Syntax Tree Operations. IFL 2005: 142-159

Betsy Pepels, Rinus Plasmeijer: Generating Applications from Object Role Models. OTM Workshops 2005: 656-665

Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178

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

Rinus Plasmeijer, Arjen van Weelden: A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272

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

Ronny Wichers Schreur, Marinus J. Plasmeijer: Dynamic Construction of Generic Functions. IFL 2004: 160-176

Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55

Sander Evers, Peter Achten, Rinus Plasmeijer: Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128

Arjen van Weelden, Rinus Plasmeijer: A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer: Generic Graphical User Interfaces. IFL 2003: 152-167

Pieter W. M. Koopman, Rinus Plasmeijer: Testing reactive systems with GAST. Trends in Functional Programming 2003: 111-129

Peter Achten, Artem Alimarine, Marinus J. Plasmeijer: When Generic Functions Use Dynamic Values. IFL 2002: 17-33

Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer: Gast: Generic Automated Software Testing. IFL 2002: 84-100

Martijn Vervoort, Marinus J. Plasmeijer: Lazy Dynamic Input/Output in the Lazy Functional Language Clean. IFL 2002: 101-117

Arjen van Weelden, Marinus J. Plasmeijer: Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231

Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Theorem Proving for Functional Programmers. IFL 2001: 55-71

Artem Alimarine, Marinus J. Plasmeijer: A Generic Programming Extension for Clean. IFL 2001: 168-185

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

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)

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13

Mike Wiering, Peter Achten, Marinus J. Plasmeijer: Using Clean for Platform Games. IFL 1999: 1-17

Peter Achten, Marinus J. Plasmeijer: The Implementation of Interactive Local State Transition Systems in Clean. IFL 1999: 115-130

Pieter W. M. Koopman, Marinus J. Plasmeijer: Efficient Combinator Parsers. IFL 1998: 120-136

Pascal R. Serrarens, Marinus J. Plasmeijer: Explicit Message Passing for Concurrent Clean. IFL 1998: 229-245

Peter Achten, Marinus J. Plasmeijer: Interactive Functional Objects in Clean. Implementation of Functional Languages 1997: 304-321

Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer: Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128

Marinus J. Plasmeijer: CLEAN: a programming environment based on term graph rewriting. Electr. Notes Theor. Comput. Sci. 2: 215-221 (1995)

Peter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. J. Funct. Program. 5(1): 81-110 (1995)

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)

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)

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227

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

Herbert Kuchen, Marinus J. Plasmeijer, Holger Stoltze: Efficient Distributed Memory Implementation of a Data Parallel Functional Language. PARLE 1994: 464-477

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen: Functional Programming and Parallel Graph Rewriting. Addison-Wesley 1993, isbn 0-201-41663-8

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

Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer: High Level Specification of I/O in Functional Languages. Functional Programming 1992: 1-17

Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer: Generating Efficient Code for Lazy Functional Languages. FPCA 1991: 592-617

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

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

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)

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

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

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

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer: Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239

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)

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)