Fingerprint
Dive into the research topics where Tim Steenvoorden is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 3 Conference Article in proceeding
-
Dynamic TopHat: Start and Stop Tasks at Runtime
Steenvoorden, T. & Naus, N., 29 Aug 2023, IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. Ney York, NY: Association for Computing Machinery (ACM), p. 1-13 13 p. 13Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Semantic Equivalence of Task-Oriented Programs in TopHat
Klijnsma, T. & Steenvoorden, T., 2022, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Revised Selected Papers. Swierstra, W. & Wu, N. (eds.). Springer Nature, p. 100-125 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13401 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
TopHat: A formal foundation for task-oriented programming
Steenvoorden, T., Naus, N. & Klinik, M., 7 Oct 2019, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. Association for Computing Machinery, a17. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review