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.
|Typed Image-based Programming with Structure Editing|
Jonathan Edwards , Tomas Petricek University of KentLink to publication
|A New Medium for Communicating Research on Programming Languages|
Will Crichton Stanford UniversityPre-print
|Paper discussion, session 3|