[wolverine876]

Ah, thank you. That paper makes a lot more sense to me, describing a clear problem. For others:

The principal question underlying this work is: how much effort does it take to understand a PL paper?

and

Papers about programming languages involve complex notations, systems, and proofs. Static PDFs offer little support in understanding such concepts. I 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, toggleable explanations, and other interactions to help readers understand a language's syntax and semantics.