Publications & Reports

Julian Nagele and Maria A Schett.

Preproceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2019, 166-180. 2019

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