Nadia Polikarpova and Ilya Sergey.

Proceedings of the ACM on Programming Languages, Volume 3, Issue POPL, 2019, Article No.: 72, 1–30. 2019