The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arjen van Weelden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  9. Efficient and Type-Safe Generic Data Storage. [Citation Graph (, )][DBLP]


Search in 0.029secs, Finished in 0.029secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002