dblp.uni-trier.dewww.uni-trier.de

Arjen van Weelden

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
8EEArtem 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
7EEArjen 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
5EEPeter 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
4EEPeter 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
3EERinus Plasmeijer, Arjen van Weelden: A Functional Shell That Operates on Typed and Compiled Applications. Advanced Functional Programming 2004: 245-272
2003
2EEArjen van Weelden, Rinus Plasmeijer: A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52
2002
1EEArjen van Weelden, Marinus J. Plasmeijer: Towards a Strongly Typed Functional Operating System. IFL 2002: 215-231

Coauthor Index

1Peter Achten [4] [5]
2Artem Alimarine [8]
3Marko C. J. D. van Eekelen [4] [5] [8]
4Lars Frantzen [6]
5Pieter W. M. Koopman [6]
6Martijn Oostdijk [6]
7Marinus J. Plasmeijer (Rinus Plasmeijer) [1] [2] [3] [4] [5] [7] [8]
8Sjaak Smetsers (J. E. W. Smetsers) [7] [8]
9Jan Tretmans [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)