Research activity per year


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
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access