Eddie Jones, C.-H. Luke Ong, and Steven Ramsay.

PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language, Pages 395–409. 2022