Pieter Koopman

发表

Teaching the Construction of Domain Specific Languages

Pieter Koopman, Rinus Plasmeijer, 2014 .

Proceedings of the 6th international conference on Advanced functional programming

Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra, 2008 .

Web based dynamic workflow systems and applications in the military domain

Pieter Koopman, Jan Martin Jansen, Marinus J. Plasmeijer, 2008 .

Transparant Ajax and Client-Site Evaluation of iTasks

Pieter Koopman, Rinus Plasmeijer, Jan Martin Jansen, 2007 .

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler

Pieter Koopman, Rinus Plasmeijer, Peter Achten, 2010 .

Data Types and Pattern Matching by Function Application

Pieter Koopman, Jan Martin Jansen, Marinus J. Plasmeijer, 2005 .

FUNCTIONAL SPECIFICATION OF A NEURAL NETWORK

Pieter Koopman, Marinus J. Plasmeijer, M.C.J.D. van Eekelen, 1991 .

Model-Based Testing of Thin-Client Web Applications and Browser Actions (extended abstract)

Pieter Koopman, Rinus Plasmeijer, Peter Achten, 2006 .

TFP 2009 : Proceedings 10th symposium on Trends in Functional programming, TFP'09, Selye Janos University, Komarno, Slovakia, June 2-4 2009

Pieter Koopman, Viktória Zsók, Peter Achten, 2010, TFP 2010.

Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers

Pieter Koopman, Markus Mohnen, 2001 .

Trends in Functional Programming

Pieter Koopman, Peter Achten, Marco T. Morazán, 2018, Lecture Notes in Computer Science.

The Beauty of Functional Code

Pieter Koopman, Peter Achten, P. Achten, 2013, Lecture Notes in Computer Science.

Tiered versus tierless IoT stacks: comparing smart campus software architectures

Jeremy Singer, Pieter Koopman, Phil Trinder, 2020, IOT.

On the Validation of Specifications used in Model-Based Testing

Pieter Koopman, Rinus Plasmeijer, Peter Achten, 2007 .

Functional Descriptions of Neural Networks

Pieter Koopman, M.C.J.D. van Eekelen, Marinus J. Plasmeijer, 1990 .

Generic Generation of Elements of Types

Pieter Koopman, Marinus J. Plasmeijer, 2005 .

Graph rewriting using the annotated functional strategy

Pieter Koopman, Marinus J. Plasmeijer, M.C.J.D. van Eekelen, 1993 .

Specifying Interactive Work Flows for the Web

Pieter Koopman, Rinus Plasmeijer, Bas Lijnse, 2008 .

Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP'08)

Pieter Koopman, Peter Achten, T. Marco Moraz'an, 2008 .

CT-based automatic identification and localization of the right phrenic nerve

Pieter Koopman, Luc Claesen, Kobe Bamps, 2017, 2017 10th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI).

Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

Pieter Koopman, Christopher D. Clack, 2000 .

Functional programs as executable specifications

Pieter Koopman, P. Koopman, 1990 .

Generic Functions Dynamically Applied - keynote talk

Pieter Koopman, Peter Achten, R. Plasmeijer, 2010 .

Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures

Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra, 2008 .

Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08)

Pieter Koopman, Marinus J. Plasmeijer, Doaitse Swierstra, 2008 .

F U N C T I O N A L P E A R L Comprehensive Encoding of Data Types and Algorithms in the l-Calculus

Pieter Koopman, Jan Martin Jansen, 2010 .

A Task-Based DSL for Microcomputers

Pieter Koopman, Marinus J. Plasmeijer, Mart Lubbers, 2018, RWDSL2018.

SYSTEMATIC SYNTHESIS OF -TERMS

Pieter Koopman, Rinus Plasmeijer, 2007 .

IFL'13: Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, Netherlands — August 28 - 30, 2013

Pieter Koopman, Rinus Plasmeijer, Peter Achten, 2014 .