R. Plasmeijer

Available identifiers

zbMath Open plasmeijer.rinusMaRDI QIDQ596983

List of research outcomes

Publication	Date of Publication	Type
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs	2022-08-16	Paper
Model Based Testing with Logical Properties versus State Machines	2016-11-09	Paper
EditorArrow: An arrow-based model for editor-based programming	2013-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q2898774	2012-07-12	Paper
Polytypic Syntax Tree Operations	2009-04-28	Paper
Uniqueness Typing Redefined	2009-03-11	Paper
An Introduction to iTasks: Defining Interactive Work Flows for the Web	2009-02-03	Paper
Proving Properties of Lazy Functional Programs with Sparkle	2009-02-03	Paper
From Interpretation to Compilation	2009-02-03	Paper
Fully Automatic Testing with Functions as Specifications	2009-01-15	Paper
Automatic Testing of Higher Order Functions	2008-05-06	Paper
Dynamic Construction of Generic Functions	2007-10-23	Paper
Implementation of Functional Languages	2005-08-24	Paper
Implementation of Functional Languages	2005-08-24	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4736975	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736984	2004-08-11	Paper
Parallel elementwise processable functions in concurrent clean	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q2765669	2002-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q2763387	2002-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4362913	1998-03-17	Paper
The ins and outs of Clean I/O	1995-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4023829	1993-01-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: R. Plasmeijer