 | 2009 |
|---|
| 9 |       | Sjaak Smetsers,
Arjen van Weelden,
Rinus Plasmeijer:
Efficient and Type-Safe Generic Data Storage.
Electr. Notes Theor. Comput. Sci. 238(2): 59-70 (2009) |
| 2005 |
|---|
| 8 | | 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 | | 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 | | 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 | | 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 | | Rinus Plasmeijer,
Arjen van Weelden:
A Functional Shell That Operates on Typed and Compiled Applications.
Advanced Functional Programming 2004: 245-272 |
| 2003 |
|---|
| 2 | | Arjen van Weelden,
Rinus Plasmeijer:
A Functional Shell That Dynamically Combines Compiled Code.
IFL 2003: 36-52 |
| 2002 |
|---|
| 1 | | Arjen van Weelden,
Marinus J. Plasmeijer:
Towards a Strongly Typed Functional Operating System.
IFL 2002: 215-231 |
