Arjen van Weelden

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer
Efficient and Type-Safe Generic Data Storage. Electron. Notes Theor. Comput. Sci. 238 (2) (2009)
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)
Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
Polytypic Syntax Tree Operations. IFL (2005)
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)
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)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
Automatic Generation of Editors for Higher-Order Data Structures. APLAS (2004)
Rinus Plasmeijer, Arjen van Weelden
A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming (2004)
Arjen van Weelden, Rinus Plasmeijer
A Functional Shell That Dynamically Combines Compiled Code. IFL (2003)
Arjen van Weelden, Marinus J. Plasmeijer
Towards a Strongly Typed Functional Operating System. IFL (2002)