Pieter Koopman
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Model based testing with logical properties versus state machines Implementation and Application of Functional Languages | 2016-11-09 | Paper |
| Functional semantics Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Trends in trends in functional programming 1999/2000 versus 2007/2008 Higher-Order and Symbolic Computation | 2013-01-08 | Paper |
| An Introduction to iTasks: Defining Interactive Work Flows for the Web Central European Functional Programming School | 2009-02-03 | Paper |
| From Interpretation to Compilation Central European Functional Programming School | 2009-02-03 | Paper |
| Fully Automatic Testing with Functions as Specifications Central European Functional Programming School | 2009-01-15 | Paper |
| Automatic Testing of Higher Order Functions Programming Languages and Systems | 2008-05-06 | Paper |
| scientific article; zbMATH DE number 1691461 (Why is no real title available?) | 2002-01-15 | Paper |
Research outcomes over time
This page was built for person: Pieter Koopman
