A Core Calculus for Documents (via typesanitizer) — discussion

#pdf #plt