Pieter Koopman
From MaRDI portal
Person:1929342
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
