TY  - RPRT
TI  - Dependent Types for Multi-Rate Flows in Synchronous Programming
AU  - William Blair
AU  - Hongwei Xi
PY  - 2017
DO  - 10.4204/eptcs.241.3
UR  - https://arxiv.org/abs/1702.02282
ID  - 1702.02282
ER  -