Publications & Reports

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida.

Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA, 2020, Article No.: 149, 1–29.  2020

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