29:04

[HATRA23] Diagrammatic notations for interactive theorem proving

ACM SIGPLAN

24:39

[HATRA23] Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach

ACM SIGPLAN

33:05

[HATRA23] Latte: Lightweight Aliasing Tracking for Java

ACM SIGPLAN

29:35

[HATRA23] Debugging Trait Errors as Logic Programs

ACM SIGPLAN

32:03

[HATRA23] Totally Live Programming with Hazel (Progress Report)

ACM SIGPLAN

28:36

[HATRA23] REVIS: An Error Visualization Tool for Rust

ACM SIGPLAN

34:53

[HATRA23] Goals of the Luau Type System, Two Years On

ACM SIGPLAN