Towards a Strongly Typed Functional Operating System. - Arjen van Weelden; Marinus J. Plasmeijer (IFL, 2002)

A Functional Shell That Dynamically Combines Compiled Code. - Arjen van Weelden; Rinus Plasmeijer (IFL, 2003)

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. - Peter Achten; Marko C. J. D. van Eekelen; Rinus Plasmeijer; Arjen van Weelden (Advanced Functional Programming, 2004)

A Functional Shell That Operates on Typed and Compiled Applications. - Rinus Plasmeijer; Arjen van Weelden (Advanced Functional Programming, 2004)

Automatic Generation of Editors for Higher-Order Data Structures. - Peter Achten; Marko C. J. D. van Eekelen; Rinus Plasmeijer; Arjen van Weelden (APLAS, 2004)

There and back again: arrows for invertible programming. - Artem Alimarine; Sjaak Smetsers; Arjen van Weelden; Marko C. J. D. van Eekelen; Rinus Plasmeijer (Haskell, 2005)

Polytypic Syntax Tree Operations. - Arjen van Weelden; Sjaak Smetsers; Rinus Plasmeijer (IFL, 2005)

On-the-Fly Formal Testing of a Smart Card Applet. - Arjen van Weelden; Martijn Oostdijk; Lars Frantzen; Pieter W. M. Koopman; Jan Tretmans (SEC, 2005)

Efficient and Type-Safe Generic Data Storage. - Sjaak Smetsers; Arjen van Weelden; Rinus Plasmeijer (WGT@ETAPS, 2008)