Pieter W. M. Koopman

According to our database1, Pieter W. M. Koopman authored at least 44 papers between 1987 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Task Oriented Programming and the Internet of Things.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2015
A Shallow Embedded Type Safe Extendable DSL for the Arduino.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

2014
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

2013
Model-Based Shrinking for State-Based Testing.
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Inference for a New Probabilistic Constraint Logic.
Proceedings of the IJCAI 2013, 2013

An Introduction to Task Oriented Programming.
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

Functional Semantics.
Proceedings of the Beauty of Functional Code, 2013

2012
Task-oriented programming in a pure functional language.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Applying Bayesian Networks for Intelligent Adaptable Printing Systems.
Proceedings of the Solutions on Embedded Systems, 2011

Generic Executable Semantics for D-Clean.
Electron. Notes Theor. Comput. Sci., 2011

iTasks for a change: type-safe run-time change in dynamically evolving workflows.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Model Based Testing with Logical Properties versus State Machines.
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.
High. Order Symb. Comput., 2010

Testing with Functional Reference Implementations.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Embedding a web-based workflow management system in a functional language.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009
Applying Bayesian networks for intelligent adaptable printing systems.
Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009

An Effective Methodology for Defining Consistent Semantics of Complex Systems.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

Synthesis of Functions Using Generic Programming.
Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008
Validating Specifications for Model-Based Testing.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Declarative Ajax and client side evaluation of workflows using iTasks.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Model-Based Testing of Thin-Client Web Applications and Navigation Input.
Proceedings of the Practical Aspects of Declarative Languages, 2008

An Executable and Testable Semantics for iTasks.
Proceedings of the Implementation and Application of Functional Languages, 2008

iEditors: Extending iTask with Interactive Plug-ins.
Proceedings of the Implementation and Application of Functional Languages, 2008

Testing and Validating the Quality of Specifications.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

An iTask Case Study: A Conference Management System.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
iTasks: executable specifications of interactive work flow systems for the web.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

An Introduction to iTasks: Defining Interactive Work Flows for the Web.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

From Interpretation to Compilation.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006
Systematic synthesis of functions.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Efficient interpretation by transforming data types and patterns to functions.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Model-Based Testing of Thin-Client Web Applications.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

Automatic Testing of Higher Order Functions.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Generic generation of the elements of data types.
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

On-the-Fly Formal Testing of a Smart Card Applet.
Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Fully Automatic Testing with Functions as Specifications.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004
Testing with Functions as Specifications.
Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

2003
Testing reactive systems with GAST.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

2002
Gast: Generic Automated Software Testing.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2000
Polygonizing Implicit Surfaces in a Purely Functional Way.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1998
Efficient Combinator Parsers.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1995
Operational Machine Specification in a Functional Programming Language.
Softw. Pract. Exp., 1995

Functional Programming in a Basic Database Course.
Proceedings of the Functional Programming Languages in Education, 1995

1987
Interactive Programs in a Functional Language: A Functional Implementation of an Editor.
Softw. Pract. Exp., 1987


  Loading...