- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Achten, P.M."
Now showing items 1-50 of 97
-
Static and Dynamic Visualisations of Monadic Programs Stutterheim, J.; Achten, P. ; Plasmeijer, R.2019, Article in monograph or in proceedings (Zsók, V.; Porkoláb, Z.; Horváth, Z. (ed.), Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015. Revised Selected Papers, pp. 341-379) -
Maintaining Separation of Concerns Through Task Oriented Software Development Stutterheim, J.; Achten, P. ; Plasmeijer, R.2018, Article in monograph or in proceedings (Wang, M. (ed.), Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 19-38)
-
Proceedings Seventh International Workshop on Trends in Functional Programming in Education Chalmers University, Gothenburg, Sweden, 14th June 2018 Achten, P. ; Miller, H.2018, Article in monograph or in proceedings (Achten, P. (ed.), Proceedings Seventh International Workshop on Trends in Functional Programming in Education Chalmers University, Gothenburg, Sweden, 14th June 2018, pp. 90) -
A Distributed Dynamic Architecture for Task Oriented Programming Oortgiese, A.; Groningen, John van ; Achten, P. ; Plasmeijer, R.2017, Article in monograph or in proceedings (Wu, N. (ed.), IFL 2017: Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages, Bristol, United Kingdom — August 30 - September 01, 2017, pp. 7-1-7-12)
-
Towards the Layout of Things Achten, P.M. ; Stutterheim, J.; Lijnse, B.; Plasmeijer, Rinus2016, Article in monograph or in proceedings (Schrijvers, T. (ed.), IFL 2016: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, Leuven, Belgium — August 31 - September 02, 2016, pp. 1-13) -
An Introduction to Task Oriented Programming 2015, Part of book or chapter of book (Zsók, V.; Horváth, Z.; Csató, L. (ed.), Central European Functional Programming School, pp. 187-245)
-
Static and Dynamic Visualisations of Monadic Programs Stutterheim, J.; Plasmeijer, R. ; Achten, P.2015, Part of book or chapter of book (Lämmel, R. (ed.), IFL '15 : Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, September 14-16, 2015 Koblenz, Germany, pp. 1-13)
-
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks Stutterheim, J.; Plasmeijer, R. ; Achten, P.2015, Part of book or chapter of book (Hage, J.; McCarthy, J. (ed.), Trends in Functional Programming : 5th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers, pp. 122-141)
-
TFPIE '14 : Proceedings 3rd International Workshop on Trends in Functional Programming in Education, Soesterberg, The Netherlands, 25th May 2014 Caldwell, J.; Hölzenspies, P.; Achten, P.2014, Book (monograph)
-
Model-Based Shrinking for State-Based Testing 2014, Part of book or chapter of book (McCarthy, J. (ed.), Trends in Functional Programming, pp. 107-124)
-
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics Achten, P. ; Stutterheim, J.; Domoszlai, L.; Plasmeijer, R.2014, Article in monograph or in proceedings (Tobin-Hochstadt, S. (ed.), IFL '14 : Proceedings 26th International Workshop on the Implementation of Functional Languages, IFL '14, Boston, U.S.A., pp. 175-177)
-
Proceedings First International Workshop on Trends in Functional Programming in Education, University of St. Andrews, Scotland, UK, 11th June 2012 Morazan, M.T.; Achten, P.2013, Book (monograph)
-
Why functional programming matters to me 2013, Part of book or chapter of book (Achten, P.; Koopman, P. (ed.), The beauty of functional code, pp. 79-96)
-
EditorArrow: An arrow-based model for editor-based programming Achten, P. ; Eekelen, M.C.J.D. van ; Mol, M. de; Plasmeijer, R.2013, Article / Letter to editor (Journal of Functional Programming, vol. 23, iss. 2, (2013), pp. 185-224)
-
Defining multi-user web applications with iTasks Plasmeijer, R. ; Achten, P. ; Lijnse, B.; Michels, S.2012, Part of book or chapter of book (Zsok, V. (ed.), Central European Functional Programming School : 4th Summer School, CEFP2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers, pp. 46-92)
-
Task-oriented programming in a pure functional language Plasmeijer, R. ; Lijnse, B.; Michels, S. ; Achten, P. ; Koopman, P.2012, Article in monograph or in proceedings (PPDP'12 : Proceedings of the 14th symposium on Principles and practice of declarative programming, pp. 195-206)
-
GiN: a graphical language and tool for defining iTask workflows Henrix, J.M.; Plasmeijer, R. ; Achten, P.2012, Article in monograph or in proceedings (Peña, R. (ed.), Trends in Functional Programming, pp. 163-178)
-
Model Based Testing with Logical Properties versus State Machines 2012, Part of book or chapter of book (Gill, A.; Hage, J. (ed.), Implementation and Application of Functional Languages, pp. 116-133)
-
iTask as a new paradigm for building GUI applications 2011, Article in monograph or in proceedings (Hage, J.; Morazán, M.T. (ed.), Proceedings of the 22nd International Symposium on the Implementation and Application of Functional Languages, IFL '10, Selected Papers, Alphen aan den Rijn, The Netherlands, 2011, pp. 153-168)
-
iTasks for a change: Type-safe run-time change in dynamically evolving workflows Plasmeijer, R. ; Achten, P. ; Koopman, P. ; Lijnse, B.; Noort, T. van; Groningen, J van2011, Article in monograph or in proceedings (Khoo, S.-C.; Siek, J. (ed.), PEPM '11 : Proceedings Workshop on Partial Evaluation and Program Manipulation, PEPM '11, Austin, TX, USA, pp. 151-160)
-
An Executable and Testable Semantics for iTasks 2011, Part of book or chapter of book (Scholz, S.-B.; Chitil, O. (ed.), Implementation and Application of Functional Languages, pp. 212-232)
-
Embedding polymorphic dynamic typing Noort, T. van; Swierstra, Wouter; Achten, P. ; Plasmeijer, R.2011, Article in monograph or in proceedings (Järvi, J.; Mu, S.-C. (ed.), ICFP '11 ACM SIGPLAN International Conference on Functional Programming Tokyo, Japan — September 19 - 21, 2011 : Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, pp. 25-36)
-
Getting a grip on tasks that coordinate tasks Plasmeijer, R. ; Lijnse, B.; Achten, P. ; Michels, S.2011, Article in monograph or in proceedings (Brabrand, C. (ed.), LDTA'11 : Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications, pp. 1-7)
-
A Typical Synergy : Dynamic types and generalised algebraic datatypes Noort, T. van; Achten, P. ; Plasmeijer, R.2011, Part of book or chapter of book (Scholz, S.-B. (ed.), Implementation and Application of Functional Languages, pp. 179-197)
-
Ad-hoc polymorphism and dynamic typing in a statically typed functional language Noort, T. van; Achten, P. ; Plasmeijer, R.2010, Article in monograph or in proceedings (Oliveira, B. (ed.), WGP'10 : Proceedings of the 2010 ACM SIGPLAN workshop on Generic programming, pp. 73-84)
-
Het SoccerFun project : funtioneel programmeren in het onderwijs met behulp van voetbal 2010, Article in monograph or in proceedings (Vodegel, F.; Loots, M. (ed.), NIOC Proceedings, pp. 128-134)
-
Embedding a web-based workflow management system in a functional language 2010, Article in monograph or in proceedings (Brabrand, C. (ed.), Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, pp. 79-93)
-
The Soccer-Fun project 2010, Article / Letter to editor (Journal of Functional Programming, vol. 21, (2010), pp. 1-19)
-
TFP 2009 : Proceedings 10th symposium on Trends in Functional programming, TFP'09, Selye Janos University, Komarno, Slovakia, June 2-4 2009 Horvath, Z.; Zsok, V.; Achten, P. ; Koopman, P.2010, Book (monograph)
-
iTask as a new paradigm to building GUI applications - extended abstract - 2010, External research report
-
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler Groningen, J van; Noort, T. van; Achten, P. ; Koopman, P. ; Plasmeijer, R.2010, Article in monograph or in proceedings (Gibbons, J. (ed.), Haskell '10 : proceedings of the third ACM Haskell symposium on Haskell, pp. 49-60)
-
Gin : Graphical iTask Notation - extended abstract - Henrix, J.M.; Plasmeijer, R. ; Achten, P.M.2010, External research report
-
An Effective Methodology for Defining Consistent Semantics of Complex Systems 2010, Part of book or chapter of book (Horvath, Z.; Plasmeijer, R.; Zsok, V. (ed.), Central European Functional Programming School, pp. 224-267)
-
Generic Functions Dynamically Applied - keynote talk 2010, Article in monograph or in proceedings (Porkolab, Z. (ed.), Proceedings Workshop on Generative Technologies, WGT'10, Paphos, Cyprus, March 27, 2010, pp. 1-2)
-
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008 Achten, P. ; Eekelen, M.C.J.D. van ; Koopman, P. ; Morazán, M.T.; Johann, P.2010, Article / Letter to editor (Higher-Order and Symbolic Computation, vol. 23, iss. 4, (2010), pp. 465-487)
-
Trends in Functional Programming Achten, Peter ; Koopman, Pieter ; Morazán, Marco2009, Book editorial
-
Declarative Ajax and Client Side Evaluation of Workflows using iTasks Plasmeijer, Rinus ; Jansen, Jan Martin; Koopman, Pieter ; Achten, Peter2008, Article in monograph or in proceedings (Antoy, S.; Albert, E. (ed.), PPDP '08 : Proceedings 10th International ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 56-66)
-
Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP'08) Achten, P.M. ; Koopman, P.W.M. ; Moraz'an, T. Marco2008, External research report
-
Teaching functional programming with Soccer-Fun 2008, Article in monograph or in proceedings (Huch, Frank; Parkin, Adam (ed.), FDPE'08 : Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada September 21 - 21, 2008, pp. 61-72)
-
Specifying Interactive Work Flows for the Web Plasmeijer, Rinus ; Achten, P.M. ; Koopman, P.W.M. ; Lijnse, Bas; Noort, T.R. van2008, Article in monograph or in proceedings (Koopman, P.; Plasmeijer, R. (ed.), Draft Proceedings of the Sixth International Summer School on Advanced Functional Programming, AFP (2008), May 19-24 2008, Center Parcs “Het Heijderbos”, The Netherlands, pp. 7-47)
-
An introduction to iTasks: defining interactive work flows for the web 2008, Article in monograph or in proceedings (Horvath, Z.; Plasmeijer, R. (ed.), Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 1-40)
-
An Executable and Testable Semantics for iTasks 2008, Article in monograph or in proceedings (Scholz, Sven-Bodo (ed.), IFL'08 :Proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages, pp. 53-64)
-
Testing and validating the quality of specifications 2008, Article in monograph or in proceedings (Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09 - 11, 2008, pp. 41-52)
-
Validating Specifications for Model-Based Testing 2008, Article in monograph or in proceedings (Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, pp. 225-231)
-
Model-based testing of thin-client web applications and navigation input 2008, Article in monograph or in proceedings (Hudak, Paul; Warren, David (ed.), Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings, pp. 299-315)
-
-
Model-Based Testing of Thin-Client Web Applications and Navigation Input 2007, Article in monograph or in proceedings (Moraz'an, Marco (ed.), Preliminary Proceedings 8th Symposium on Trends in Functional Programming, TFP 2007)
-
Now showing items 1-50 of 97
Search Repository
Browse
-
All of Repository
Upload Full Text