Marinus J. Plasmeijer

According to our database1, Marinus J. Plasmeijer authored at least 109 papers between 1981 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Maintaining Separation of Concerns Through Task Oriented Software Development.
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Predicting resource consumption of higher-order workflows.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

A Distributed Dynamic Architecture for Task Oriented Programming.
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines.
Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016
Towards the Layout of Things.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015
A Shallow Embedded Type Safe Extendable DSL for the Arduino.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

Static and dynamic visualisations of monadic programs.
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014
Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks.
Proceedings of the Trends in Functional Programming, 2014

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Parametric lenses: change notification for bidirectional lenses.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Editlets: type-based, client-side editors for iTasks.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels.
Proceedings of the Active Media Technology - 10th International Conference, 2014

2013
EditorArrow: An arrow-based model for editor-based programming.
J. Funct. Program., 2013

Model-Based Shrinking for State-Based Testing.
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Tasklets: Client-Side Evaluation for iTask3.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

An Introduction to Task Oriented Programming.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012
Task-oriented programming in a pure functional language.
Proceedings of the Principles and Practice of Declarative Programming, 2012

CCL: A Lightweight ORM Embedding in Clean.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

2011
Generic Executable Semantics for D-Clean.
Electr. Notes Theor. Comput. Sci., 2011

GiN: A Graphical Language and Tool for Defining iTask Workflows.
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

iTasks for a change: type-safe run-time change in dynamically evolving workflows.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Getting a grip on tasks that coordinate tasks.
Proceedings of the Language Descriptions, Tools and Applications, 2011

Model Based Testing with Logical Properties versus State Machines.
Proceedings of the Implementation and Application of Functional Languages, 2011

Embedding polymorphic dynamic typing.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Defining Multi-user Web Applications with iTasks.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010
Testing with Functional Reference Implementations.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Embedding a web-based workflow management system in a functional language.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

iTask as a New Paradigm for Building GUI Applications.
Proceedings of the Implementation and Application of Functional Languages, 2010

Ad-hoc polymorphism and dynamic typing in a statically typed functional language.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009
Efficient and Type-Safe Generic Data Storage.
Electr. Notes Theor. Comput. Sci., 2009

A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes.
Proceedings of the Implementation and Application of Functional Languages, 2009

iTasks 2: iTasks for End-users.
Proceedings of the Implementation and Application of Functional Languages, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

Synthesis of Functions Using Generic Programming.
Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008
Validating Specifications for Model-Based Testing.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Model-Based Testing of Thin-Client Web Applications and Navigation Input.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational Databases.
Proceedings of the Implementation and Application of Functional Languages, 2008

An Executable and Testable Semantics for iTasks.
Proceedings of the Implementation and Application of Functional Languages, 2008

iEditors: Extending iTask with Interactive Plug-ins.
Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

An iTask Case Study: A Conference Management System.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
Uniqueness Typing Simplified.
Proceedings of the Implementation and Application of Functional Languages, 2007

iTasks: executable specifications of interactive work flow systems for the web.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

Proving Properties of Lazy Functional Programs with Sparkle.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

From Interpretation to Compilation.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

A Single-Step Term-Graph Reduction System for Proof Assistants.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Systematic synthesis of functions.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Efficient interpretation by transforming data types and patterns to functions.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Fact-Oriented Modeling from a Programming Language Designer's Perspective.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Uniqueness Typing Redefined.
Proceedings of the Implementation and Application of Functional Languages, 2006

A Conference Management System Based on the iData Toolkit.
Proceedings of the Implementation and Application of Functional Languages, 2006

iData for the World Wide Web - Programming Interconnected Web Forms.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Model-Based Testing of Thin-Client Web Applications.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Automatic Testing of Higher Order Functions.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Generic generation of the elements of data types.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Generating Applications from Object Role Models.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Polytypic Syntax Tree Operations.
Proceedings of the Implementation and Application of Functional Languages, 2005

The Implementation of iData.
Proceedings of the Implementation and Application of Functional Languages, 2005

There and back again: arrows for invertible programming.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

Generic Editors for the World Wide Web.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

Fully Automatic Testing with Functions as Specifications.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004
Disjoint forms in graphical user interfaces.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Model-Views with Generic Graphical User Interfaces.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Dynamic Construction of Generic Functions.
Proceedings of the Implementation and Application of Functional Languages, 2004

Automatic Generation of Editors for Higher-Order Data Structures.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

A Functional Shell That Operates on Typed and Compiled Applications.
Proceedings of the Advanced Functional Programming, 2004

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.
Proceedings of the Advanced Functional Programming, 2004

2003
Testing reactive systems with GAST.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

A Functional Shell That Dynamically Combines Compiled Code.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

Generic Graphical User Interfaces.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002
Towards a Strongly Typed Functional Operating System.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Lazy Dynamic Input/Output in the Lazy Functional Language Clean.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Gast: Generic Automated Software Testing.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

When Generic Functions Use Dynamic Values.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001
Theorem Proving for Functional Programmers.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

A Generic Programming Extension for Clean.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000
Polygonizing Implicit Surfaces in a Purely Functional Way.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999
Keep it Clean: A Unique Approach to Functional Programming.
SIGPLAN Notices, 1999

Using Clean for Platform Games.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

The Implementation of Interactive Local State Transition Systems in Clean.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Term Graph Rewriting and Mobile Expressions in Functional Languages.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Explicit Message Passing for Concurrent Clean.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Efficient Combinator Parsers.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997
Interactive Functional Objects in Clean.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996
Graph Rewriting Semantics for Functional Programming Languages.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995
Operational Machine Specification in a Functional Programming Language.
Softw., Pract. Exper., 1995

Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages.
J. Funct. Program., 1995

The Ins and Outs of Clean I/O.
J. Funct. Program., 1995

CLEAN: a programming environment based on term graph rewriting.
Electr. Notes Theor. Comput. Sci., 1995

Constructing Medium Sized Efficient Functional Programs in Clean.
Proceedings of the Advanced Functional Programming, 1995

1994
Efficient Distributed Memory Implementation of a Data Parallel Functional Language.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Functional Programming and Parallel Graph Rewriting
Addison-Wesley, ISBN: 0-201-41663-8, 1993

1992
High Level Specification of I/O in Functional Languages.
Proceedings of the Functional Programming, 1992

1991
Concurrent Clean.
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Generating Efficient Code for Lazy Functional Languages.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990
Parallel Graph Rewriting on Loosely Coupled Machine Architectures.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989
LEAN: an intermediate language based on graph rewriting.
Parallel Computing, 1989

1987
The Dutch parallel reduction machine project.
Future Generation Comp. Syst., 1987

Towards an Intermediate Language based on Graph Rewriting.
Proceedings of the PARLE, 1987


CLEAN: A language for functional graph writing.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986
Specification of reduction strategies in term rewriting systems.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1983
Input-Output Tools: A Language Facility for Interactive and Real-Time Systems.
IEEE Trans. Software Eng., 1983

1981
Process Communication Based on Input Specifications.
ACM Trans. Program. Lang. Syst., 1981


  Loading...