[PLDI'23] Modular Hardware Design with Timeline Types | ACM SIGPLAN | Podwise