A Data-Centered User Study for Proof Assistant Tools. - Hanneli C. A. Tavante (PPIG, 2021)

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