| 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 | ICFP | Teaching functional programming with soccer-fun. | Peter Achten |
| 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 | FLOPS | iData for the World Wide Web - Programming Interconnected Web Forms. | Rinus Plasmeijer, Peter Achten |
| 2004 | APLAS | Automatic Generation of Editors for Higher-Order Data Structures. | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
| 2004 | PADL | Compositional Model-Views with Generic Graphical User Interfaces. | Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |