A Core Calculus for Documents: Or, Lambda: The Ultimate Documentdl.acm.org2 pointsteleforce2 years ago