Rinus Plasmeijer

95 papers A 1B 2C 7Misc 1Journal 2Unranked 75
YearRankTypeTitle / Venue / Authors
2022 — conf
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming.
IFL
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2022 J jnl
Writing Internet of Things Applicatations with Task-Oriented Programming.
CoRR
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2021 — conf
Dynamic Editors for Well-Typed Expressions.
TFP
Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer
2020 — conf
Typed Directional Composable Editors in iTasks.
IFL
Bas Lijnse, Rinus Plasmeijer
2019 — conf
A new view on parser combinators.
IFL
Pieter W. M. Koopman, Rinus Plasmeijer
2019 — conf
Interpreting task oriented programs on tiny computers.
IFL
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2019 — conf
Lazy interworking of compiled and interpreted code for sandboxing and distributed systems.
IFL
Camil Staps, John H. G. van Groningen, Rinus Plasmeijer
2019 — conf
Multitasking on Microcontrollers using Task Oriented Programming.
MIPRO
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2019 — conf
Writing Internet of Things Applications with Task Oriented Programming.
CEFP
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2018 — conf
A Task-Based DSL for Microcomputers.
RWDSL@CGO
Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer
2018 — conf
Task Oriented Programming and the Internet of Things.
IFL
Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer
2017 — conf
A Distributed Dynamic Architecture for Task Oriented Programming.
IFL
Arjan Oortgiese, John H. G. van Groningen, Peter Achten, Rinus Plasmeijer
2017 — conf
Maintaining Separation of Concerns Through Task Oriented Software Development.
TFP
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
2017 C conf
Predicting resource consumption of higher-order workflows.
PEPM
Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer
2017 — conf
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines.
IFL
Markus Klinik, Jan Martin Jansen, Rinus Plasmeijer
2016 — conf
Towards the Layout of Things.
IFL
Peter Achten, Jurriën Stutterheim, Bas Lijnse, Rinus Plasmeijer
2015 — conf
A Shallow Embedded Type Safe Extendable DSL for the Arduino.
TFP
Pieter W. M. Koopman, Rinus Plasmeijer
2015 — conf
Static and Dynamic Visualisations of Monadic Programs.
CEFP
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
2015 — conf
Static and dynamic visualisations of monadic programs.
IFL
Jurriën Stutterheim, Peter Achten, Rinus Plasmeijer
2015 — conf
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors.
CEFP
Pieter W. M. Koopman, Rinus Plasmeijer
2014 — conf
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.
IFL
Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen
2014 — conf
Editlets: type-based, client-side editors for iTasks.
IFL
László Domoszlai, Bas Lijnse, Rinus Plasmeijer
2014 — conf
Parametric lenses: change notification for bidirectional lenses.
IFL
László Domoszlai, Bas Lijnse, Rinus Plasmeijer
2014 — conf
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics.
IFL
Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer
2014 — conf
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.
Trends in Functional Programming
Jurriën Stutterheim, Rinus Plasmeijer, Peter Achten
2014 — conf
Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels.
AMT
Jurriaan van Diggelen, Wilfried Post, Marleen Rakhorst, Rinus Plasmeijer, Wessel van Staal
2013 — conf
An Introduction to Task Oriented Programming.
CEFP
Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
2013 J jnl
EditorArrow: An arrow-based model for editor-based programming.
J. Funct. Program.
Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer
2013 — conf
Model-Based Shrinking for State-Based Testing.
Trends in Functional Programming
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2013 — ed.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013
IFL
Rinus Plasmeijer
2013 — conf
Tasklets: Client-Side Evaluation for iTask3.
CEFP
László Domoszlai, Rinus Plasmeijer
2012 — conf
CCL: A Lightweight ORM Embedding in Clean.
OTM Workshops
Bas Lijnse, Patrick van Bommel, Rinus Plasmeijer
2012 — ed.
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
CEFP
Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer
2012 C conf
Task-oriented programming in a pure functional language.
PPDP
Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman
2011 — conf
Capturing the Netherlands Coast Guard's SAR workflow with iTasks.
ISCRAM
Bas Lijnse, Jan Martin Jansen, Ruud Nanne, Rinus Plasmeijer
2011 — conf
Defining Multi-user Web Applications with iTasks.
CEFP
Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels
2011 — conf
Embedding polymorphic dynamic typing.
WGP@ICFP
Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer
2011 — conf
Generic Executable Semantics for D-Clean.
WGT
Viktória Zsók, Pieter W. M. Koopman, Rinus Plasmeijer
2011 — conf
Getting a grip on tasks that coordinate tasks.
LDTA
Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels
2011 — conf
GiN: A Graphical Language and Tool for Defining iTask Workflows.
Trends in Functional Programming
Jeroen Henrix, Rinus Plasmeijer, Peter Achten
2011 — conf
Model Based Testing with Logical Properties versus State Machines.
IFL
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2011 C conf
iTasks for a change: type-safe run-time change in dynamically evolving workflows.
PEPM
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen
2010 — conf
Ad-hoc polymorphism and dynamic typing in a statically typed functional language.
ICFP-WGP
Thomas van Noort, Peter Achten, Rinus Plasmeijer
2010 — ed.
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
AAIP
Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
2010 — ed.
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
CEFP
Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
2010 — conf
Embedding a web-based workflow management system in a functional language.
LDTA
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman, Peter Achten
2010 C conf
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.
Haskell
John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer
2010 — conf
Testing with Functional Reference Implementations.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2010 — conf
Towards dynamic workflow support for crisis management.
ISCRAM
Jan Martin Jansen, Bas Lijnse, Rinus Plasmeijer
2010 — conf
iTask as a New Paradigm for Building GUI Applications.
IFL
Steffen Michels, Rinus Plasmeijer, Peter Achten
2009 — conf
A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes.
IFL
Thomas van Noort, Peter Achten, Rinus Plasmeijer
2009 — ed.
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Advanced Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra
2009 — conf
An Effective Methodology for Defining Consistent Semantics of Complex Systems.
CEFP
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
2009 — conf
Synthesis of Functions Using Generic Programming.
AAIP
Pieter W. M. Koopman, Rinus Plasmeijer
2009 — conf
iTasks 2: iTasks for End-users.
IFL
Bas Lijnse, Rinus Plasmeijer
2008 — conf
An Executable and Testable Semantics for iTasks.
IFL
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
2008 — conf
An iTask Case Study: A Conference Management System.
Advanced Functional Programming
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort
2008 — conf
Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases.
IFL
Bas Lijnse, Rinus Plasmeijer
2008 — ed.
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
CEFP
Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók
2008 C conf
Declarative Ajax and client side evaluation of workflows using iTasks.
PPDP
Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten
2008 — conf
Efficient and Type-Safe Generic Data Storage.
WGT
Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer
2008 C conf
Model-Based Testing of Thin-Client Web Applications and Navigation Input.
PADL
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008 — conf
Testing and Validating the Quality of Specifications.
ICST Workshops
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008 — conf
Validating Specifications for Model-Based Testing.
Software Engineering Research and Practice
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008 — conf
iEditors: Extending iTask with Interactive Plug-ins.
IFL
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman
2007 — conf
A Single-Step Term-Graph Reduction System for Proof Assistants.
AGTIVE
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2007 — conf
An Introduction to iTasks: Defining Interactive Work Flows for the Web.
CEFP
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
2007 — conf
From Interpretation to Compilation.
CEFP
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
2007 — conf
Proving Properties of Lazy Functional Programs with Sparkle.
CEFP
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2007 — conf
Uniqueness Typing Simplified.
IFL
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
2007 A conf
iTasks: executable specifications of interactive work flow systems for the web.
ICFP
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman
2006 — conf
A Conference Management System Based on the iData Toolkit.
IFL
Rinus Plasmeijer, Peter Achten
2006 B conf
Automatic Testing of Higher Order Functions.
APLAS
Pieter W. M. Koopman, Rinus Plasmeijer
2006 — conf
Efficient interpretation by transforming data types and patterns to functions.
Trends in Functional Programming
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
2006 — conf
Fact-Oriented Modeling from a Programming Language Designer's Perspective.
OTM Workshops (2)
Betsy Pepels, Rinus Plasmeijer, Henderik Alex Proper
2006 — conf
Generic Programming for Software Evolution.
EVOL
Johan Jeuring, Rinus Plasmeijer
2006 — conf
Model-Based Testing of Thin-Client Web Applications.
FATES/RV
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
2006 — conf
Systematic synthesis of functions.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2006 — conf
Uniqueness Typing Redefined.
IFL
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
2006 Misc conf
iData for the World Wide Web - Programming Interconnected Web Forms.
FLOPS
Rinus Plasmeijer, Peter Achten
2005 — conf
Fully Automatic Testing with Functions as Specifications.
CEFP
Pieter W. M. Koopman, Rinus Plasmeijer
2005 — conf
Generating Applications from Object Role Models.
OTM Workshops
Betsy Pepels, Rinus Plasmeijer
2005 — conf
Generic Editors for the World Wide Web.
CEFP
Rinus Plasmeijer, Peter Achten
2005 — conf
Generic generation of the elements of data types.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
2005 — conf
Polytypic Syntax Tree Operations.
IFL
Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
2005 — conf
The Implementation of iData.
IFL
Rinus Plasmeijer, Peter Achten
2005 C conf
There and back again: arrows for invertible programming.
Haskell
Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2004 — conf
A Functional Shell That Operates on Typed and Compiled Applications.
Advanced Functional Programming
Rinus Plasmeijer, Arjen van Weelden
2004 B conf
Automatic Generation of Editors for Higher-Order Data Structures.
APLAS
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
2004 — conf
Disjoint forms in graphical user interfaces.
Trends in Functional Programming
Sander Evers, Peter Achten, Rinus Plasmeijer
2004 — conf
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.
Advanced Functional Programming
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
2003 — conf
A Functional Shell That Dynamically Combines Compiled Code.
IFL
Arjen van Weelden, Rinus Plasmeijer
2003 — conf
Generic Graphical User Interfaces.
IFL
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2003 — conf
Testing reactive systems with GAST.
Trends in Functional Programming
Pieter W. M. Koopman, Rinus Plasmeijer
1999 — ch.
Parallel and Distributed Programming in Concurrent Clean.
Research Directions in Parallel Functional Programming
Rinus Plasmeijer, Marko C. J. D. van Eekelen, Marco Pil, Pascal R. Serrarens