|
|
| Line 1: |
Line 1: |
| − | Clean is used in scientific research all over the world. This page provides an overview of Clean related scientific publications. | + | Clean is used in scientific research all over the world. See the [http://www.st.cs.ru.nl/Onderzoek/Publicaties/publicaties.html publications page] of the ST group at the Radboud University Nijmegen for all Clean related publications. To give an impression, here is a list of research topics on which you can find papers in the previous link (please note that this list is far from complete): |
| | | | |
| − | == 2008 ==
| + | * Dynamic Workflow Management Systems (the iTask system) |
| − | # Pieter Koopman, Peter Achten, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2008/koop08-PADL2008-ModelBasedTestingOfWebWithNavigation.pdf Model-Based Testing of Thin-Client Web Applications and Navigation Input]. In Hudak, P. and Warren, D.S. Eds. Proceedings of 10th International Symposium on Practical Aspects of Declarative Languages, PADL08, San Francisco, CA, USA, January 7-8, 2008, Springer, LNCS 4902, pp. 299-315.
| + | * Generic programming and novel applications: |
| − | == 2007 ==
| + | ** Generation of desktop GUIs and web based GUIs (the GEC and iData system) |
| − | # Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/achp2007-TFP07-iDataArrowSemanticsPrelim.pdf An Arrow Based Semantics for Interactive Applications]. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA (bib).
| + | ** Model-based testing and model checking (the GAST system) |
| − | # Marko van Eekelen, Maarten de Mol. [http://www.st.cs.ru.nl/papers/2007/eekm2007-HB60-LazyFolkloreProving.pdf Proving Lazy Folklore with Mixed Lazy/Strict Semantics]. In Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (Eds.) Reflections on Type Theory, l-Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday. December 17 2007. Radboud University Nijmegen, The Netherlands. ISBN 978-90-9022446-6, pp. 87-100 (bib).
| + | ** Bridging the gap between relational databases and programming language types |
| − | # Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf Efficient Interpretation by Transforming Data Types and Patterns to Functions]. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 73-90.
| + | * Dynamic typing coupled with static typing (the Dynamic types) |
| − | # Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/koop07-SynthesisOfFunctions_TFP2006.pdf Systematic Synthesis of Functions]. In Nilsson, H. Ed. Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Revised Papers. Nottingham, UK, 19-21 April 2006, The University of Nottingham, Intellect Books UK, ISBN 978-1-84150-188-8, pp. 35-54.
| + | ** Merging dynamic types with generic functions |
| − | # Pieter Koopman, Peter Achten, Rinus Plasmeijer. Model-Based Testing of Thin-Client Web Applications and Navigation Input. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
| + | * Reasoning about Clean programs with the proof tool assistant Sparkle |
| − | # Pieter Koopman, Peter Achten, Rinus Plasmeijer. On the Validation of Specifications used in Model-Based Testing. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 230-231 (bib).
| + | * Uniqueness types for handling side-effects in a pure functional style |
| − | # Pieter Koopman, Rinus Plasmeijer. [http://www.st.cs.ru.nl/papers/2007/koop2007-HB60-genLambda.pdf Systematic Synthesis of l-Terms]. In Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (Eds.) Reflections on Type Theory, l -Calculus, and the Mind - Essays dedicated to Henk Barendregt on the occasion of his 60th birthday. December 17 2007. Radboud University Nijmegen, The Netherlands. ISBN 978-90-9022446-6, pp. 211-222 (bib).
| + | * Strictness types and analysis |
| − | # Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.
| + | * Compiler and interpreter technology |
| − | # Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Proving properties of lazy functional programs with Sparkle. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
| + | ** the SAPL system |
| − | # Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof-Assistants. In Schuerr, A., Nagl, M. and Zuendorf, A. Eds. Proceedings of Selected and Invited Papers of Applications of Graph Transformations with Industrial Relevance, Third Internation Symposium, AGTIVE 2007, Kassel, Germany, 2007, pp. 181-197.
| + | ** program fusion to optimize generic code |
| − | # Rinus Plasmeijer, Peter Achten. [http://www.st.cs.ru.nl/papers/2007/plar2007-IFL06-iDataConfManagementSystemRev.pdf A Conference Management System based on the iData Toolkit]. In Horvath, Z. and Zsok, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Selected Papers, September 4-6, 2006, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449.
| + | ** dynamic linking |
| − | # Rinus Plasmeijer, Peter Achten, Pieter Koopman. [http://www.st.cs.ru.nl/papers/2007/plar2007-ICFP07-iTasks.pdf iTasks: Executable Specifications of Interactive Work Flow Systems for the Web]. In Ramsey, N. Ed. Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming (ICFP'07), Freiburg, Germany, October 1-3, 2007, ACM, ISBN 978-1-59593-815-2, pp. 141-152.
| + | ** ABC-machine |
| − | # Rinus Plasmeijer, Peter Achten, Pieter Koopman. An Introduction to iTasks: Defining Interactive Work Flows for the Web - Draft version -. In Central European Functional Programming School, CEFP 2007, June 23-30 2007, Cluj-Napoca, Romania.
| + | ** Term-Graph Rewriting |
| − | # Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman, Peter Achten. Transparant Ajax and Client-Site Evaluation of iTasks. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 252-253.
| + | ** garbage collection |
| − | # Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. [http://www.st.cs.ru.nl/papers/2007/vrie2007-IFL06-UniquenessTypingRedefinedRev.pdf Uniqueness Typing Redefined]. In Horvath, Z. and Zsok, V. Eds. Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Selected Papers, September 4-6, 2006, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Springer Verlag, LNCS 4449.
| + | * GUI programming (the Object I/O system) |
| − | # Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson. [http://www.st.cs.ru.nl/papers/2007/vrie2007-TFP07-EqualityBasedUniquenessTyping.pdf Equality Based Uniqueness Typing]. In M. Morazan, Ed. Preliminary Proceedings Eighth Symposium on Trends in Functional Programming, TFP 2007, April 2-4, New York, USA.
| + | * Concurrent programming and code generation |
| − | # Edsko de Vries, Rinus Plasmeijer, David Abrahamson. Uniqueness Typing Simplified. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 416-430.
| |
| − | # Arjen van Weelden. [http://webdoc.ubn.ru.nl/mono/w/weelden_a_van/putttytog.pdf Putting Types To Good Use]. PhD Thesis. October 2007. Radboud University Nijmegen. ISBN 978-90-9022041-3.
| |
| − | # Erik Zuurbier, Rinus Plasmeijer. Car Damage Subrogation Workflow - an iTask exercise. In Chitil, O. Ed. Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, 27-29 september 2007, Computing Laboratory, University of Kent, Canterbury, Kent, UK, Technical Report No. 12-07, September 2007, pp. 232.
| |
| − | | |
| − | == Older publications ==
| |
| − | See the [http://www.st.cs.ru.nl/Onderzoek/Publicaties/publicaties.html publications page] of the ST group at the Radboud University Nijmegen for more Clean related publications.
| |
