SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 14:00 - 14:20 at SPLASH-VI - Novices and Application Domains Chair(s): Luke Church

Hazel Tutor is a work-in-progress editor service for the Hazel programming environment designed to interactively help novices learn type-driven development strategies as they construct, edit, and debug code. The system provides both feedback and, when requested, suggestions on the basis of type information available at the cursor. Hazel is able to supply the Hazel Tutor with the necessary information at all times, including when there are \emph{holes} in the program. When the cursor is on an empty hole, the system organizes the suggestions based on the type-driven development strategy that we aim to teach students. We are beginning to work on presenting debugging strategies when on an error hole. We outline our hypotheses, specific research questions of interest, and planned future studies.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: Novices and Application DomainsHATRA at SPLASH-VI
Chair(s): Luke ChurchUniversity of Cambridge
13:00 - 13:20
Talk
HATRA
Niek MullenersUtrecht University, Johan JeuringOpen University of the Netherlands, Netherlands
Link to publication
13:20 - 13:40
Talk
HATRA
Chris MartensNorth Carolina State University
Pre-print
13:40 - 14:00
Talk
HATRA
Richard LinUniversity of California, Berkeley, Bjoern HartmannUC Berkeley
Link to publication Pre-print
14:00 - 14:20
Talk
HATRA
Hannah PotterUniversity of Michigan, Cyrus OmarUniversity of Michigan
Pre-print