[PADL'24] Hardware implementation of OCaml using a synchronous functional language | ACM SIGPLAN | Podwise