- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Plasmeijer, M.J."
Now showing items 1-50 of 182
-
Multitasking on Microcontrollers using Task Oriented Programming 2019, Article in monograph or in proceedings (Koricic, M. (ed.), 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO): May 20 – 24, 2019 Opatija, Croatia. Proceedings, pp. 1587-1592) -
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)
-
A Task-Based DSL for Microcomputers 2018, Article in monograph or in proceedings (Stewart, R. (ed.), RWDSL2018: Proceedings of the Real World Domain Specific Languages Workshop 2018, Vienna, Austria — February 24 - 24, 2018, pp. 1-11) -
Task Oriented Programming and the Internet of Things 2018, Article in monograph or in proceedings (Cimini, M. (ed.), IFL 2018 Proceedings of the 30th Symposium on Implementation and Application of Functional Languages: Lowell, MA, USA — September 05 - 07, 2018, pp. 83-94)
-
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) -
The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines Klinik, M.; Jansen, J.M.; 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. 8-1-8-12)
-
Visual Support for Learning Monads Steenvoorden, T.; Stutterheim, J.; Barendsen, E. ; Plasmeijer, R.2017, Article in monograph or in proceedings (Sampson, D.G. (ed.), CSEIT 2017: Proceedings of the 8th Annual International Conference on Computer Science Education Innovation & Technology, 9th-10th October, 2017, Singapore, pp. 130-139)
-
Predicting resource consumption of higher-order workflows Klinik, M.; Hage, J.; Jansen, J.M.; Plasmeijer, R.2017, Article in monograph or in proceedings (Schultz, U. (ed.), PEPM 2017: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 16-17, 2017, Paris, France, pp. 99-110)
-
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)
-
A Shallow Embedded Type Safe Extendable DSL for the Arduino 2016, Article in monograph or in proceedings (Serrano, M.; Hage, J. (ed.), Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers, pp. 104-123)
-
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl Koopman, P. ; Plasmeijer, R. ; Jansen, J.M.2015, Article in monograph or in proceedings (IFL '14 : Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages 4(, pp. 4(1)-4(12))
-
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)
-
Church Encoding of Data Types Considered Harmful for Implementations Koopman, P.W.M. ; Plasmeijer, R. ; Jansen, Jan Martin2014, 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. 117-127)
-
Editlets: type based client side editors for iTasks Domoszlai, L.; Lijnse, B.; 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. 173-174)
-
Parametric lenses: change notification for bidirectional lenses Domoszlai, L.; Lijnse, B.; 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. 194-195)
-
Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels Diggelen, J. van; Post, W.; Rakhorst, M.; Plasmeijer, R. ; Staal, W.2014, Part of book or chapter of book (Ślȩzak, D.; Schaefer, G.; Vuong, S. (ed.), Active Media Technology, pp. 442-452)
-
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)
-
Top software 2013, Part of book or chapter of book (Baijens, J. (ed.), Het beste idee van 2013, pp. 302-304)
-
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)
-
The imperative and functional programming paradigm Barendregt, H.P. ; Manzonetto, G.; Plasmeijer, R.2013, Part of book or chapter of book (Cooper, B.; Leeuwen, J. van (ed.), Alan Turing: His Work and Impact, pp. 121-138)
-
Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers Zsok, V.; Zoltan, G.; Plasmeijer, R.2012, Book (monograph)
-
Compiling Haskell to JavaScript through Clean's core Domoszlai, L.; Plasmeijer, R.2012, Article / Letter to editor (Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica, vol. 36, (2012), pp. 117-142)
-
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)
-
CCL: A Lightweight ORM Embedding in Clean Lijnse, B.; Bommel, P. van ; Plasmeijer, R.2012, Part of book or chapter of book (Herrero, P.; Panetto, H. (ed.), On the Move to Meaningful Internet Systems: OTM 2012 Workshops, pp. 338-347)
-
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)
-
Incidone: A Task-Oriented Incident Coordination Tool Lijnse, B.; Jansen, J.M.; Plasmeijer, R.2012, Article in monograph or in proceedings (Rothkranz, L. (ed.), ISCRAM 2012 Conference Proceedings : Book of Papers : 9th International Conference on Information Systems for Crisis Response and Management, pp. 1-5)
-
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)
-
Testing with Functional Reference Implementations 2011, Part of book or chapter of book (Page, R.; Horváth, Z.; Zsók, V. (ed.), Trends in Functional Programming, pp. 134-149)
-
iEditors: Extending iTask with interactive plug-ins 2011, Part of book or chapter of book (Scholz, S.-B.; Chitil, O. (ed.), Implementation and Application of Functional Languages, pp. 192-211)
-
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 2: iTasks for End-users Lijnse, B.; Plasmeijer, R.2011, Part of book or chapter of book (Scholz, S.-B. (ed.), Implementation and Application of Functional Languages, pp. 36-54)
-
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)
-
Generic Executable Semantics for D-Clean Zsók, V.; Koopman, P. ; Plasmeijer, R.2011, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 279, iss. 3, (2011), pp. 85-95)
-
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)
-
Between Types and Tables : Using Generic Programming for Automated Mapping between Data Types and Relational Databases Lijnse, B.; Plasmeijer, R.2011, Part of book or chapter of book (Scholz, S.-B.; Chitil, O. (ed.), Implementation and Application of Functional Languages, pp. 272-290)
-
Capturing the Netherlands Coast Guard's SAR Workflow with iTasks Lijnse, B.; Jansen, J.M. ; Nanne, R.; Plasmeijer, R.2011, Article in monograph or in proceedings (Mendonca, D.; Dugdale, J. (ed.), Proceedings of the 8th International ISCRAM Conference – Lisbon, Portugal, May 2011, pp. 1-10)
-
Eco-SpaCE: An object-oriented, spatially explicit model to assess the risk of multiple environmental stressors on terrestrial vertebrate populations 2010, Article / Letter to editor (Science of the Total Environment, vol. 408, iss. 18, (2010), pp. 3908-3917)
-
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)
-
Towards dynamic workflows for crisis management Jansen, J.M. ; Lijnse, B.; Plasmeijer, R.2010, Article in monograph or in proceedings (French, S. (ed.), ISCRAM 2010 : 7th International Conference on Information Systems for Crisis Response and Management Defining Crisis Management 3.0 PROCEEDINGS, Book of Abstracts, pp. 23, 1-5)
-
The usual tasks : a library for ad-hoc work in iTasks [extended abstract] Lijnse, B.; Crombag, E.; Plasmeijer, R.2010, External research report
-
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)
Now showing items 1-50 of 182
Search Repository
Browse
-
All of Repository
Upload Full Text