A Core Calculus for Documents - Lambda: The Ultimate Document

Explore a 20-minute conference talk from POPL 2024 that introduces a core calculus for documents, bridging the gap between passive documents and active programs. Delve into the formal foundations modeling languages where document and programming elements coexist, addressing subtle interactions and potential errors. Examine the proposed document calculus, its levels, and its applications in implementing features like reactivity and proving theorems about content-computation boundaries. Gain insights into this theoretical basis for new document languages and its potential to improve existing ones. Access the full article, supplementary materials, and video presentation to deepen your understanding of this innovative approach to document language design and formalization.

Introduction
Organization
String Language
Template Language
Desugaring
Template Part Language
Conclusion
Interview