pieter koopman
pieter koopman
Verified email at cs.ru.nl
TitleCited byYear
Gast: Generic automated software testing
P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 84-100, 2002
1232002
iTasks: executable specifications of interactive work flow systems for the web
R Plasmeijer, P Achten, P Koopman
ACM SIGPLAN Notices 42 (9), 141-152, 2007
782007
Efficient Interpretation by Transforming Data Types and Patterns to Functions
JM Jansen, P Koopman, R Plasmeijer
Trends in Functional Programming 7, 73, 2007
452007
Task-oriented programming in a pure functional language
R Plasmeijer, B Lijnse, S Michels, P Achten, P Koopman
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
442012
Efficient combinator parsers
P Koopman, R Plasmeijer
Symposium on Implementation and Application of Functional Languages, 120-136, 1998
301998
Testing reactive systems with GAST
PWM Koopman, MJ Plasmeijer
Bristol: Intellect, 2004
232004
Declarative Ajax and client side evaluation of workflows using iTasks
R Plasmeijer, JM Jansen, P Koopman, P Achten
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
212008
An executable and testable semantics for iTasks
P Koopman, R Plasmeijer, P Achten
Symposium on Implementation and Application of Functional Languages, 212-232, 2008
202008
Functional programs as executable specifications
PWM Koopman
[Sl: sn], 1990
201990
Worker/wrapper/makes it/faster
J Hackett, G Hutton
ACM SIGPLAN Notices 49 (9), 95-107, 2014
192014
An Introduction to iTasks: Defining Interactive Work Flows for the Web
R Plasmeijer, P Achten, P Koopman
Central European Functional Programming School, 1-40, 2007
192007
iTasks for a change: Type-safe run-time change in dynamically evolving workflows
R Plasmeijer, P Achten, P Koopman, B Lijnse, T van Noort, ...
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
182011
On-the-fly formal testing of a smart card applet
A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans
IFIP International Information Security Conference, 565-576, 2005
182005
Generic generation of elements of types
PWM Koopman, MJ Plasmeijer
Tallin, Estonia: Intellect, 2005
162005
Work it, wrap it, fix it, fold it
N Sculthorpe, G Hutton
Journal of Functional Programming 24 (1), 113-127, 2014
152014
Exchanging sources between Clean and Haskell: A double-edged front end for the Clean compiler
J Groningen, T Noort, P Achten, P Koopman, R Plasmeijer
ACM Sigplan Notices 45 (11), 49-60, 2010
152010
Embedding a web-based workflow management system in a functional language
JM Jansen, R Plasmeijer, P Koopman, P Achten
Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010
142010
Systematic synthesis of functions.
PWM Koopman, R Plasmeijer
Trends in Functional Programming, 35-54, 2006
132006
iEditors: extending iTask with interactive plug-ins
JM Jansen, R Plasmeijer, P Koopman
Symposium on Implementation and Application of Functional Languages, 192-211, 2008
122008
Automatic testing of higher order functions
P Koopman, R Plasmeijer
Asian Symposium on Programming Languages and Systems, 148-164, 2006
122006
The system can't perform the operation now. Try again later.
Articles 1–20