Hanneli C. A. Tavante

According to our database¹, Hanneli C. A. Tavante authored at least 2 papers in 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

A Data-Centered User Study for Proof Assistant Tools.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Workshop of the Psychology of Programming Interest Group, 2021