SPLASH 2021 (series) / HATRA 2021 (series) /  Human Aspects of Types and Reasoning Assistants / 
A New Medium for Communicating Research on Programming Languages
Tue 19 Oct 2021 15:55 - 16:10 at Zurich E - Novel Interfaces and Discussion Chair(s): Jonathan Aldrich
Papers about programming languages involve complex notations, systems, and proofs. Static PDFs offer little support in understanding such concepts. We describe Nota, a framework for academic papers that uses the browser’s interactive capabilities to support comprehension in context. Nota uses hover effects, tooltips, expandable sections, toggle-able explanations, and other interactions to help readers understand a language’s syntax and semantics. We demonstrate the use of Nota by rewriting a PL paper using its primitives, and also by writing this paper in Nota.
Tue 19 OctDisplayed time zone: Central Time (US & Canada) change
Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change
| 15:40 - 17:00 | Novel Interfaces and DiscussionHATRA at Zurich E Chair(s): Jonathan Aldrich Carnegie Mellon University First, authors will present two papers, and we will have 10 minutes to discuss them. Then, we will use the remaining 40 minutes for group discussion of promising research directions. | ||
| 15:4015m Talk | Typed Image-based Programming with Structure Editing HATRALink to publication | ||
| 15:5515m Talk | A New Medium for Communicating Research on Programming Languages HATRA Will Crichton Stanford UniversityPre-print | ||
| 16:1010m Talk | Paper discussion, session 3 HATRA | ||
| 16:2040m Meeting | General discussion HATRA | ||
