TY - RPRT TI - A Core Calculus for Documents AU - Will Crichton AU - Shriram Krishnamurthi PY - 2023 DO - 10.1145/3632865 UR - https://arxiv.org/abs/2310.04368 ID - 2310.04368 ER -