- 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 186
-
Source code for the genetic algorithm scheduler Klinik, M.A.A. ; Jansen, J.M.; Plasmeijer, M.J.2020, Dataset -
Source code of the resource analysis compiler Klinik, M.A.A. ; Hage, J.; Jansen, J.M.; Plasmeijer, M.J.2020, Dataset
-
Source code of the resource-time analysis compiler Klinik, M.A.A. ; Jansen, J.M.; Plasmeijer, M.J.2020, Dataset
-
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) -
Resource Scheduling with Computable Constraints for Maritime Command and Control 2019, Article in monograph or in proceedings (MAST Asia 2019, Makuhari Messe, Chiba, Tokyo, Japan 17-19 June 2019, pp. ?)
-
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)
-
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)
-
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 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)
-
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) -
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)
-
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)
-
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)
-
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)
-
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: Functional Pearl 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))
-
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)
-
Church Encoding of Data Types Considered Harmful for Implementations 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. 117-127)
-
Top software 2013, Part of book or chapter of book (Baijens, J. (ed.), Het beste idee van 2013, pp. 302-304)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
Now showing items 1-50 of 186
Search Repository
Browse
-
All of Repository
Upload Full Text