Blake Loring, Duncan Mitchell, and Johannes Kinder.

PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 425–438. 2019