- Radboud Repository
- →
- Collections Radboud University
- →
- Academic publications
- →
- Browsing Academic publications by Faculty & Departments
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse by Faculty & Departments
Now showing items 1-50 of 127
-
When Generic Functions Use Dynamic Values 2003, Part of book or chapter of book (Pena, Ricardo (ed.), Implementation of Functional Languages : The 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, pp. 17-33) -
Verification of the Temporal Properties of Dynamic Clean Processes Horvath, Z.; Achten, P.M. ; Kozsik, T.; Plasmeijer, R.1999, Article in monograph or in proceedings (Koopman, P. (ed.), IFL'99 : Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, pp. 203-218) -
-
Using Type and Constructor Classes to Interpret Object Structures 1995, Article in monograph or in proceedings (Proceedings of Workshop on the Implementation of Functional Languages, Båstad, Sweden, Chalmers Tekniska Högskola, 1995, pp. 142-156)
-
Uniqueness Typing Simplified Vries, Edsko; Plasmeijer, Rinus ; Abrahamson, David2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 416-430)
-
Uniqueness Typing Redefined Vries, Edsko; Plasmeijer, Rinus ; Abrahamson, David2006, Article in monograph or in proceedings (Horvath, Z.; Zsok, V. (ed.), Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, pp. 230-245)
-
A Type Safe Interactive Interpreter for a Functional Language using Compiled Code 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)
-
A tutorial to the Clean object I/O library : version 1.2 Achten, P.M. ; Wierich, M.2000, Internal report
-
Transparant Ajax and Client-Site Evaluation of iTasks Plasmeijer, Rinus ; Jansen, Jan Martin; Koopman, Pieter ; Achten, Peter2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 252-253)
-
Towards Machine-Verified Proofs for I/O Dowse, M.; Butterfield, A.; Eekelen, M.C.J.D. van ; Mol, M.J. de ; Plasmeijer, M.J.2004, Article in monograph or in proceedings (Grelck, C.; Huch, F. (ed.), Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, pp. 469-480)
-
Towards Distributed Interactive Programs in the Functional Programming Language CLEAN 1994, Article in monograph or in proceedings (Glauert, J. (ed.), Proceedings of the 6th International Workshop on the Implementation of Funtional Languages, pp. 28.1-28.16)
-
Towards A Unified Semantic Model For Interactive Applications Using Arrows And Generic Editors 2006, Article in monograph or in proceedings (Nillsson, Henrik (ed.), Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, pp. 279-292)
-
Towards a Strongly Typed Functional Operating System 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 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)
-
There and Back Again: Arrows for Invertible Programming 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)
-
Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover 2001, Article in monograph or in proceedings (Arts, Thomas; Mohnen, Markus (ed.), Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers, pp. 55-72)
-
Theorem Proving for functional Programmers 2001, Part of book or chapter of book (Arts, Thomas; Mohnen, Markus (ed.), Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001, pp. 99-118)
-
-
The Implementation of iData - A Case Study in Generic Programming 2005, Article in monograph or in proceedings (Butterfield, A. (ed.), Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, pp. 106-123)
-
The Implementation of iData - A Case Study in Generic Programming 2006, Article in monograph or in proceedings (Butterfield, A. (ed.), Proceedings Implementation and Application of Functional Languages - Revised Selected Papers, 17th International Workshop, IFL05, pp. 106-123)
-
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications 2004, Article in monograph or in proceedings (Grelck, C.; Huch, F.; Michaelson, G.J. (ed.), Implementation and Application of Functional Languages : Proceedings Implementation and Application of Functional Languages, pp. 17-34)
-
-
The Concurrent CLEAN System, functional programming on the Macintosh Plasmeijer, M.J. ; Eekelen, M.C.J.D. van ; Nöcker, E.; Smetsers, S.1991, Article in monograph or in proceedings (Proceedings of 7th Internernational Conference of the Apple European University Consortium, Paris, Apple consortium, pp. 19-24)
-
-
Testing with Functions as Specifications 2005, Article in monograph or in proceedings (Brinksma, Ed; Grieskamp, Wolfgang; Tretmans, Jan (ed.), Perspectives of Model-Based Testing)
-
Testing reactive systems with GAST 2004, Article in monograph or in proceedings (Gilmore, S. (ed.), Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003. Revised Selected Papers., pp. 111-129)
-
Testing Reactive Systems with GAST 2003, Part of book or chapter of book (Trinder, Phil; Michaelson, Greg (ed.), IFL'03: Draft Proceedings of the 15th International Symposium on the Implementation of Functional Languages, Edinburgh, Scotland, September 8th - 10th, 2003, pp. 145-161)
-
Testing Higher Order Functions -- textscExtended Abstract 2005, Article in monograph or in proceedings (Butterfield, A. (ed.), Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, pp. 1-8)
-
Term graph rewriting and mobile expressions in functional languages 2000, Part of book or chapter of book (Nagl, M.; Schurr, A.; Munch, M. (ed.), Applications of Graph Transformations with Industrial Relevance, Proceedings, pp. 1-13)
-
Term graph rewriting Barendregt, H.P. ; Eekelen, M.C.J.D. van ; Glauert, J.R.W.; Kennaway, J.R.; Plasmeijer, M.J. ; Sleep, M.R.1987, Article in monograph or in proceedings (J.W. de Bakker (eds.), Parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15 - 19, 1987, proceedings, pp. 141-158)
-
Systematic Synthesis of lambda-Terms 2007, Article in monograph or in proceedings (Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 211-222)
-
Systematic Synthesis of Functions 2006, Article in monograph or in proceedings (Nilsson, H. (ed.), Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, pp. 68-83)
-
Systematic Synthesis of Functions 2006, Article in monograph or in proceedings (Nilsson, H. (ed.), Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers, pp. 35-54)
-
Specification of reduction strategies in term rewriting systems 1987, Part of book or chapter of book (Fasel, J.H.; Keller, R.M. (ed.), Graph Reduction, pp. 215-239)
-
Reasoning about functional programs : Sparkle, a proof assistant for Clean Mol, M.J. de2009, Dissertation
-
-
Proving the Temporal Properties of the Unique World Horvath, Z.; Achten, P.M. ; Kozsik, T.; Plasmeijer, R.1999, Article in monograph or in proceedings (Software Technology, Fenno-Ugric Symposium FUSST'99. Proceedings, pp. 113-125)
-
Proving properties of lazy functional programs with Sparkle 2008, Article in monograph or in proceedings (Horv'ath, Zolt'an (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 41-86)
-
Proving properties of lazy functional programs with Sparkle 2007, Article in monograph or in proceedings (Central European Functional Programming School, CEFP 2007)
-
Proving lazy folklore with mixed lazy/strict semantics 2007, Part of book or chapter of book (Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 87-100)
-
Proof Tool Support for Explicit Strictness 2006, Article in monograph or in proceedings (Butterfield, Andrew (ed.), Selected Papers from the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005, pp. 37-154)
-
-
Porting the Clean Object I/O library to Haskell Achten, P.M. ; Peyton-Jones, S.2001, Part of book or chapter of book (Mohnen, M.; Koopman, P.W.M. (ed.), The 12th International workshop on the Implementation of Functional Languages, IFL'00, Selected Papers, pp. 194-213)
-
Polygonizing Implicit Surfaces in a Purely Functional Way Zoerner, T.; Koopman, P.W.M. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.2001, Part of book or chapter of book (Mohnen, Markus; Koopman, P.W.M. (ed.), Implementation of Functional Languages : The 12th International workshop on the Implementation of Functional Languages, IFL 2000, Selected Papers, pp. 158-175)
-
Parallel graph rewriting on loosely coupled machine architectures 1991, Part of book or chapter of book (Kaplan, S.; Okada, M. (ed.), Conditional and Typed Rewriting Systems, pp. 354-369)
-
Optimizing Generic Functions 2004, Article in monograph or in proceedings (Proceedings Seventh International Conference on Mathematics of Program Construction (MPC 2004), pp. 16-31)
-
Operational Machine Specification in a Functional Programming Language 1995, Article / Letter to editor (Software Practice and Experience, vol. 25, iss. 5, (1995), pp. 463-499)
-
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
-
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)
-
On the Validation of Specifications used in Model-Based Testing 2007, Article in monograph or in proceedings (Chitil, Olaf (ed.), Proceedings Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pp. 230-231)
Now showing items 1-50 of 127
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text