Rinus Plasmeijer

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 16

Top Topics

Resource Consumption

Top Venues

Publications

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