Browsing by Author "Weelden, Arjen van"

2007, Dissertation

Bracket Abstraction Preserves Typability - A formal proof of Diller-algorithm-C in PVS

2006, Article in monograph or in proceedings (Levy, J. (ed.), Proceedings 20th International Workshop on Unification (UNIF'06), pp. 29-43)

A Generic Approach to Syntax Tree Operations

Weelden, A. van ; Smetsers, J.E.W. ; Plasmeijer, M.J.

2005, Article in monograph or in proceedings (Butterfield, A. (ed.), Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, pp. 142-159)

Programming Generic Graphical User Interfaces

Achten, P.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J. ; Weelden, A. van

2005, External research report

Automatic Generation of Editors for Higher-Order Data Structures

Achten, P.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J. ; Weelden, A. van

2005, Article in monograph or in proceedings (Chin, W-N (ed.), Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS 2004), pp. 262-279)

There and Back Again: Arrows for Invertible Programming

Alimarine, A. ; Smetsers, J.E.W. ; Weelden, A. van ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.

2005, Article in monograph or in proceedings (Leijen, Daan (ed.), Proceedings of the ACM SIGPLAN urlhttp://www.cs.uu.nl/ daan/hw2005/2005 Haskell Workshop, pp. 86-97)

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

Weelden, A. van ; Oostdijk, M.D. ; Frantzen, L. ; Koopman, P.W.M. ; Tretmans, G.J.

2005, Article in monograph or in proceedings (Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Proceedings of the 20th IFIP TC11 International Information Security Conference, pp. 564-576)

A Functional Shell that Operates on Typed and Compiled Applications

Plasmeijer, M.J. ; Weelden, A. van

2004, Article in monograph or in proceedings (Vene, V.; Uustalu, T. (ed.), . 5th International School on Advanced Functional Programming, AFP2004. Revised Lectures., pp. 245-272)

GEC: a Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

Achten, P.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J. ; Weelden, A. van

2004, Article in monograph or in proceedings (Vene, W.; Uustalu, T. (ed.), Advanced Functional Programming : 5th International School on Advanced Functional Programming, AFP2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, pp. 210-244)

Arrows for Generic Graphical Editor Components

Achten, P.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J. ; Weelden, A. van

2004, External research report

A Functional Shell that Dynamically Combines Compiled Code

Weelden, A. van ; Plasmeijer, M.J.

2004, Article in monograph or in proceedings (Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Selected Papers, pp. 36-52)

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

Weelden, A. van ; Frantzen, L. ; Oostdijk, M.D. ; Koopman, P.; Tretmans, G.J.

2004, External research report

A Type Safe Interactive Interpreter for a Functional Language using Compiled Code

Weelden, A. van ; Plasmeijer, M.J.

2003, Article in monograph or in proceedings (Trinder, Phil; Michaelson, Greg (ed.), IFL'03: Draft Proceedings of the 15th International Symposium on the Implementation of Functional Languages, pp. 363-378)

Towards a Strongly Typed Functional Operating System

Weelden, A. van ; Plasmeijer, M.J.

2002, Part of book or chapter of book (Pena, R.; Arts, Thomas (ed.), Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, pp. 301-319)

Towards a Strongly Typed Functional Operating System

Weelden, A. van ; Plasmeijer, M.J.

2002, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers, pp. 215-231)

Radboud Repository

Browsing by Author "Weelden, Arjen van"

Search Repository

Browse

All of Repository