| TopHat: A formal foundation for task-oriented programming T Steenvoorden, N Naus, M Klinik Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 14 | 2019 |
| Analyzing conceptual content of international informatics curricula for secondary education E Barendsen, T Steenvoorden Informatics in Schools: Improvement of Informatics Knowledge and Perception …, 2016 | 10 | 2016 |
| Generating next step hints for task oriented programs using symbolic execution N Naus, T Steenvoorden International Symposium on Trends in Functional Programming, 47-68, 2020 | 6 | 2020 |
| TopHat. Task-Oriented Programming with Style TJ Steenvoorden Sl: sn, 2022 | 5 | 2022 |
| Semantic Equivalence of Task-Oriented Programs in TopHat T Klijnsma, T Steenvoorden International Symposium on Trends in Functional Programming, 100-125, 2022 | 3 | 2022 |
| A symbolic execution semantics for TopHat N Naus, T Steenvoorden, M Klinik Proceedings of the 31st Symposium on Implementation and Application of …, 2019 | 3 | 2019 |
| Visual support for learning monads T Steenvoorden, J Stutterheim, E Barendsen, R Plasmeijer [Sl]: GSTF, 2017 | 3 | 2017 |
| Dynamic TopHat: Start and Stop Tasks at Runtime T Steenvoorden, N Naus The 35th Symposium on Implementation and Application of Functional Languages …, 2023 | 1 | 2023 |
| Creating Interactive Visualizations of TopHat Programs M Gerarts, M de Hoog, N Naus, T Steenvoorden arXiv preprint arXiv:2208.13870, 2022 | 1 | 2022 |
| Source code for the TopHat implementation TJ Steenvoorden, N Naus DANS EASY, 2020 | | 2020 |
| Source code for the symbolic TopHat execution engine N Naus, TJ Steenvoorden DANS EASY, 2020 | | 2020 |
| A Reflection on Task-Oriented Programming M Lubbers, T Steenvoorden | | |
| Embedding generic monadic transformer into Scala 2 Ruslan Shevchenko Towards a Language for Defining Reusable Programming Language Components 14 Cas van der Rest and Casper … M Lubbers, P Koopman, R Plasmeijer, M Gerarts, M de Hoog, ... | | |
| De Feynman padintegraal aan de hand van klassieke re ecties T Steenvoorden, W Beenakker | | |
Nico NausAssistant Professor, Open University of The NetherlandsVerified email at ou.nl