TY - RPRT TI - TypeDis: A Type System for Disentanglement AU - Alexandre Moine AU - Stephanie Balzer AU - Alex Xu AU - Sam Westrick PY - 2025 DO - 10.1145/3776655 UR - https://arxiv.org/abs/2511.23358 ID - 2511.23358 ER -