Pieter W. M. Koopman
Orcid: 0000-0002-3688-0957
According to our database1,
Pieter W. M. Koopman
authored at least 60 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024
2023
ACM Trans. Internet Things, February, 2023
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023
2022
SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education. Teacher Training, November 1-5, Nijmegen, The Netherlands. Revised lecture notes.
CoRR, 2022
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022
First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming.
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022
2021
Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021
Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021
2020
Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020
2019
Proceedings of the 42nd International Convention on Information and Communication Technology, 2019
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019
Proceedings of the Composability, Comprehensibility and Correctness of Working Software, 2019
2018
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018
Proceedings of the Real World Domain Specific Languages Workshop, 2018
2015
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015
Proceedings of the Central European Functional Programming School - 6th Summer School, 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
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013
2012
Proceedings of the Principles and Practice of Declarative Programming, 2012
2011
Proceedings of the Solutions on Embedded Systems, 2011
Proceedings of the Third Workshop on Generative Technologies, 2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Proceedings of the Implementation and Application of Functional Languages, 2011
2010
High. Order Symb. Comput., 2010
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010
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
Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009
Proceedings of the Central European Functional Programming School - Third Summer School, 2009
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
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Proceedings of the Practical Aspects of Declarative Languages, 2008
Proceedings of the Implementation and Application of Functional Languages, 2008
Proceedings of the Implementation and Application of Functional Languages, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the Advanced Functional Programming, 6th International School, 2008
2007
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
Proceedings of the Central European Functional Programming School, Second Summer School, 2007
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
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006
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
Proceedings of the Central European Functional Programming School, First Summer School, 2005
2004
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
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002
2000
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000
1998
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998
1995
Softw. Pract. Exp., 1995
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