Publications & Reports

Tom Ridge.

24th ACM SIGPLAN International Conference on Functional Programming, ICFP 2019. 2019

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, and Mikoláš Janota.

arXiv: Logic in Computer Science. 2019

Nadia Polikarpova and Ilya Sergey.

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