Hanneli C. A. Tavante

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Data Collection

Functional Programs

Programming Concepts

Top Venues

Publications

Hanneli C. A. Tavante
A Data-Centered User Study for Proof Assistant Tools. PPIG (2021)
Alana Ceci, Hanneli C. A. Tavante, Brigitte Pientka, Xujie Si
Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs. SIGCSE (2021)