TY  - RPRT
TI  - SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
AU  - Rui Chen
AU  - Ingo Sander
PY  - 2025
UR  - https://arxiv.org/abs/2505.02883
ID  - 2505.02883
ER  -