Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Woodruff, J., Armengol Estapé, J., Ainsworth, S. & O'Boyle, M. F. P., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). ACM, p. 687-70216 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution