Publications - Revision history

Bas Lijnse at 10:21, 9 January 2014

2014-01-09T10:21:36Z

← Older revision		Revision as of 10:21, 9 January 2014
Line 1:		Line 1:
	Clean is used in scientific research all over the world. ~~See~~ the [[ST 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):		Clean is used in scientific research all over the world. Below is a list of the [[ST Publications\|publications]] of the ST group at the Radboud University Nijmegen related to Clean. These include the following topics: (please note that this list is far from complete):

	* ~~Dynamic Workflow Management Systems~~ (the iTask system)		* Task-Oriented Programming ([[iTasks\|the iTask system]])
	* Generic programming and novel applications:		* Generic programming and novel applications:
	** Generation of desktop GUIs and web based GUIs (the GEC and iData system)		** Generation of desktop GUIs and web based GUIs (the GEC and iData system)
Line 12:		Line 12:
	* Strictness types and analysis		* Strictness types and analysis
	* Compiler and interpreter technology		* Compiler and interpreter technology
	** the SAPL system		** the [[SAPL]] system
	** program fusion to optimize generic code		** program fusion to optimize generic code
	** dynamic linking		** dynamic linking
Line 20:		Line 20:
	* GUI programming (the Object I/O system)		* GUI programming (the Object I/O system)
	* Concurrent programming and code generation		* Concurrent programming and code generation

			== ST Group Publications ==
			{{:ST_Publications}}

Bas Lijnse at 09:11, 14 January 2011

2011-01-14T09:11:31Z

← Older revision		Revision as of 09:11, 14 January 2011
Line 1:		Line 1:
	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):		Clean is used in scientific research all over the world. See the [[ST 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):

	* Dynamic Workflow Management Systems (the iTask system)		* Dynamic Workflow Management Systems (the iTask system)

Peter88 at 10:50, 12 November 2009

2009-11-12T10:50:45Z

← Older revision		Revision as of 10:50, 12 November 2009
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.~~

Bas Lijnse: Added the last 2007 papers of ST

2008-02-22T13:13:35Z

Added the last 2007 papers of ST

← Older revision		Revision as of 13:13, 22 February 2008
Line 19:		Line 19:
	# 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.		# 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.
	# 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.		# 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.
			# 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.
			# 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 ==		== 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.		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.

Bas Lijnse: Added five more papers

2008-02-22T13:10:49Z

Added five more papers

← Older revision		Revision as of 13:10, 22 February 2008
Line 14:		Line 14:
	# 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.		# 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.
	# 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.		# 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.
			# 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.
			# 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.
			# 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.
			# 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.
			# 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.

	== Older publications ==		== 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.		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.

Bas Lijnse: /* 2007 */

2008-02-22T13:06:49Z

2007

← Older revision		Revision as of 13:06, 22 February 2008
Line 9:		Line 9:
	# 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.		# 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.
	# 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.		# 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.
	# 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 (		# 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).
	bib).
	# 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).		# 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).
	# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.		# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.

Bas Lijnse: Added five more papers

2008-02-22T13:06:21Z

Added five more papers

← Older revision		Revision as of 13:06, 22 February 2008
Line 9:		Line 9:
	# 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.		# 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.
	# 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.		# 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.
			# 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).
			# 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).
			# Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025, 2007, Radboud University Nijmegen.
			# 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.
			# 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.

	== Older publications ==		== 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.		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.

Bas Lijnse at 13:01, 22 February 2008

2008-02-22T13:01:18Z

← Older revision		Revision as of 13:01, 22 February 2008
Line 11:		Line 11:

	== Older publications ==		== 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 ~~older~~ Clean related 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.

Bas Lijnse: copied first list of publications from the st website

2008-02-22T13:00:08Z

copied first list of publications from the st website

New page

Clean is used in scientific research all over the world. This page provides an overview of Clean related scientific publications.

== 2008 ==
# 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.
== 2007 ==
# 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).
# 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).
# 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.
# 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.
# 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.

== 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 older Clean related publications.