Koopman, Pieter
245  results:
Search for persons X
?
5

Strongly-Typed Multi-View Stack-Based Computations:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,
Koopman, Pieter ; Lubbers, Mart - p. 1-12 , 2023
 
?
7

Pulmonary vein isolation by visually guided laser balloon a..:

Koopman, Pieter ; Bekelaar, Thalia ; Schurmans, Joris...
Journal of Interventional Cardiac Electrophysiology.  66 (2023)  9 - p. 2081-2089 , 2023
 
?
8

Damage to the left descending coronary artery due to radiof..:

Dilling‐Boer, Dagmara ; Nof, Eyal ; Beinaert, Roy...
Journal of Cardiovascular Electrophysiology.  34 (2023)  2 - p. 468-477 , 2023
 
?
9

Could Tierless Languages Reduce IoT Development Grief?:

Lubbers, Mart ; Koopman, Pieter ; Ramsingh, Adrian..
ACM Transactions on Internet of Things.  4 (2023)  1 - p. 1-35 , 2023
 
?
10

Writing Internet of Things Applications with Task Oriented ..:

, In: Lecture Notes in Computer Science; Composability, Comprehensibility and Correctness of Working Software,
 
?
11

First-Class Data Types in Shallow Embedded Domain-Specific ..:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,
 
?
12

Reducing the Power Consumption of IoT with Task-Oriented Pr..:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
 
?
13

Dynamic Editors for Well-Typed Expressions:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
 
?
14

Personal Prof: Automatic Code Review for Java Assignments:

, In: Proceedings of the 10th Computer Science Education Research Conference,
 
1-15