| 2005 |
|---|
| 8 | EE | 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: 86-97 |
| 7 | EE | Arjen van Weelden,
Sjaak Smetsers,
Rinus Plasmeijer:
Polytypic Syntax Tree Operations.
IFL 2005: 142-159 |
| 6 | | Arjen van Weelden,
Martijn Oostdijk,
Lars Frantzen,
Pieter W. M. Koopman,
Jan Tretmans:
On-the-Fly Formal Testing of a Smart Card Applet.
SEC 2005: 565-576 |
| 2004 |
|---|
| 5 | EE | Peter Achten,
Marko C. J. D. van Eekelen,
Rinus Plasmeijer,
Arjen van Weelden:
Automatic Generation of Editors for Higher-Order Data Structures.
APLAS 2004: 262-279 |
| 4 | EE | 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: 210-244 |
| 3 | EE | Rinus Plasmeijer,
Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications.
Advanced Functional Programming 2004: 245-272 |
| 2003 |
|---|
| 2 | EE | Arjen van Weelden,
Rinus Plasmeijer:
A Functional Shell That Dynamically Combines Compiled Code.
IFL 2003: 36-52 |
| 2002 |
|---|
| 1 | EE | Arjen van Weelden,
Marinus J. Plasmeijer:
Towards a Strongly Typed Functional Operating System.
IFL 2002: 215-231 |
