Tootfinder

Teaching Introductory Functional Programming Using Haskelite
Pedro Vasconcelos (University of Porto)
https://arxiv.org/abs/2508.03640 https://arxiv.org/pdf…

Teaching Introductory Functional Programming Using Haskelite
Learning functional programming requires learning a substitution-based computational model. While substitution should be a familiar concept from high-school algebra, students often have difficulty applying it to new settings, such as recursive definitions, algebraic data types and higher-order functions. Step-by-step interpreters have been shown to help beginners by clarifying misconceptions and improving understanding. This paper reports on the experience of using a step-by-step tracing inte…

KOALA: a Configurable Tool for Collecting IDE Data When Solving Programming Tasks
Daniil Karol, Elizaveta Artser, Ilya Vlasov, Yaroslav Golubev, Hieke Keuning, Anastasiia Birillo
https://arxiv.org/abs/2506.21266

KOALA: a Configurable Tool for Collecting IDE Data When Solving Programming Tasks
Collecting data of students solving programming tasks is incredibly valuable for researchers and educators. It allows verifying that the students correctly apply the features and concepts they are taught, or finding students' misconceptions. However, existing data collection tools have limitations, e.g., no control over the granularity of the collected code, not collecting the specific events of the programming environment used, and overall being hard to configure. To overcome these limitatio…