TY  - RPRT
TI  - Synchronous Programming with Refinement Types
AU  - Jiawei Chen
AU  - José Luiz Vargas de Mendonça
AU  - Bereket Shimels Ayele
AU  - Bereket Ngussie Bekele
AU  - Shayan Jalili
AU  - Pranjal Sharma
AU  - Nicholas Wohlfeil
AU  - Yicheng Zhang
AU  - Jean-Baptiste Jeannin
PY  - 2024
UR  - https://arxiv.org/abs/2406.06221
ID  - 2406.06221
ER  -