@article{nigam_amorim_sampson_2023,
 title = {Modular Hardware Design with Timeline Types},
 author = {Nigam, Rachit and Amorim, Pedro H. Azevedo de and Sampson, Adrian},
 year = {2023},
 doi = {10.1145/3591234},
 url = {https://dl.acm.org/doi/abs/10.1145/3591234},
 publisher = {ACM},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {7},
 number = {PLDI},
 pages = {343--367}
}