TY - RPRT TI - MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age AU - Roland Leißa AU - Marcel Ulrich AU - Joachim Meyer AU - Sebastian Hack PY - 2024 DO - 10.1145/3704840 UR - https://arxiv.org/abs/2411.07443 ID - 2411.07443 ER -