TY - RPRT TI - Not Your Usual Type(s): Data contracts as types across languages and engines AU - Aldrin Montana AU - Colin Marc AU - Luca Bigon AU - Jacopo Tagliabue PY - 2026 UR - https://arxiv.org/abs/2607.13339 ID - 2607.13339 ER -