Publications & Reports

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

Kristoffer J. A. Andersen and Ilya Sergey.

In: Alferes, J., Johansson, M. (eds) Practical Aspects of Declarative Languages. PADL 2019. Lecture Notes in Computer Science, vol 11372. 2019