Publications & Reports

Julia Gabet and Nobuko Yoshida.

34th European Conference on Object-Oriented Programming, ECOOP 2020. 2020

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, and Alexandra Silva.

In: Goubault-Larrecq, J., König, B. (eds) Foundations of Software Science and Computation Structures. 2020

Hugo Férée, Johannes Å. Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho.

In: Piskac, R., Rümmer, P. (eds) Verified Software. Theories, Tools, and Experiments. VSTTE 2018. Lecture Notes in Computer Science, vol 11294. 2018

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder.

PEPM ’18: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, December 2017, 53–59. 2018