TY  - RPRT
TI  - Modular Hardware Design with Timeline Types
AU  - Rachit Nigam
AU  - Pedro Henrique Azevedo De Amorim
AU  - Adrian Sampson
PY  - 2023
DO  - 10.1145/3591234
UR  - https://arxiv.org/abs/2304.10646
ID  - 2304.10646
ER  -