David Grove, Sara S Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (3), 15
Publication year: 2019