Tim Steenvoorden

According to our database, Tim Steenvoorden authored at least 6 papers between 2016 and 2022.

Collaborative distances:

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

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