Tim Steenvoorden

According to our database, Tim Steenvoorden authored at least 7 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Dynamic TopHat: Start and Stop Tasks at Runtime.

Tim Steenvoorden, Nico Naus

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

2022

Creating Interactive Visualizations of TopHat Programs.

Mark Gerarts, Marc de Hoog, Nico Naus, Tim Steenvoorden

CoRR, 2022

Semantic Equivalence of Task-Oriented Programs in TopHat.

Tosca Klijnsma, Tim Steenvoorden

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

2020

Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution.

Nico Naus, Tim Steenvoorden

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2019

TopHat: A formal foundation for task-oriented programming.

Tim Steenvoorden, Nico Naus, Markus Klinik

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A symbolic execution semantics for TopHat.

Nico Naus, Tim Steenvoorden, Markus Klinik

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2016

Analyzing Conceptual Content of International Informatics Curricula for Secondary Education.

Erik Barendsen, Tim Steenvoorden

Proceedings of the Informatics in Schools: Improvement of Informatics Knowledge and Perception, 2016