Rinus Plasmeijer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2004–2018
Best venue rank
A
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CGO | A Task-Based DSL for Microcomputers. | Pieter W. M. Koopman, Mart Lubbers, Rinus Plasmeijer |
| 2017 | PEPM | Predicting resource consumption of higher-order workflows. | Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer |
| 2012 | PPDP | Task-oriented programming in a pure functional language. | Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |
| 2011 | ICFP | Embedding polymorphic dynamic typing. | Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer |
| 2011 | PEPM | iTasks for a change: type-safe run-time change in dynamically evolving workflows. | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen |
| 2010 | HASKELL | Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. | John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer |
| 2010 | ICFP | Ad-hoc polymorphism and dynamic typing in a statically typed functional language. | Thomas van Noort, Peter Achten, Rinus Plasmeijer |
| 2008 | ICST | Testing and Validating the Quality of Specifications. | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
| 2008 | PADL | Model-Based Testing of Thin-Client Web Applications and Navigation Input. | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
| 2008 | PPDP | Declarative Ajax and client side evaluation of workflows using iTasks. | Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten |
| 2007 | ICFP | iTasks: executable specifications of interactive work flow systems for the web. | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman |
| 2006 | APLAS | Automatic Testing of Higher Order Functions. | Pieter W. M. Koopman, Rinus Plasmeijer |
| 2006 | FLOPS | iData for the World Wide Web - Programming Interconnected Web Forms. | Rinus Plasmeijer, Peter Achten |
| 2005 | HASKELL | There and back again: arrows for invertible programming. | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
| 2004 | APLAS | Automatic Generation of Editors for Higher-Order Data Structures. | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |