Publications & Reports

Andrei Popescu, Thomas Bauereiss, and Peter Lammich.

In L. Cohen, & C. Kaliszyk (Eds.), 12th International Conference on Interactive Theorem Proving, ITP 2021, Italy, 3:1-3:20. 2021

Eddie Jones and Steven Ramsay.

Proceedings of the ACM on Programming Languages, Volume 5, Issue POPL, 2021, Article No.: 55, 1–29. 2021

Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson.

Proceedings of the ACM on Programming Languages, Volume 5, Issue OOPSLA, 2021, Article No.: 117, 1–30. 2021