A Core Calculus for Documents (2024) · HackerLangs