Tim Steenvoorden

View Scopus Profile

Tim Steenvoorden

dr, dr.

 https://orcid.org/0000-0002-8436-2054
20222023

Research activity per year

  • 2 Conference Article in proceeding

Search results

  • 2023

    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. 13

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2022

    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