Arjen van Weelden

According to our database, Arjen van Weelden authored at least 9 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Efficient and Type-Safe Generic Data Storage.

Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer

Proceedings of the First Workshop on Generative Technologies, 2008

2005

On-the-Fly Formal Testing of a Smart Card Applet.

Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Polytypic Syntax Tree Operations.

Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer

Proceedings of the Implementation and Application of Functional Languages, 2005

There and back again: arrows for invertible programming.

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Automatic Generation of Editors for Higher-Order Data Structures.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

A Functional Shell That Operates on Typed and Compiled Applications.

Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Advanced Functional Programming, 2004

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

Proceedings of the Advanced Functional Programming, 2004

2003

A Functional Shell That Dynamically Combines Compiled Code.

Arjen van Weelden, Rinus Plasmeijer

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Towards a Strongly Typed Functional Operating System.

Arjen van Weelden, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002