TY - RPRT TI - Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison AU - Alexander Baumgartner AU - Temur Kutsia PY - 2025 UR - https://arxiv.org/abs/2509.25023 ID - 2509.25023 ER -