Publications & Reports

Kangfeng Ye, Simon Foster, and Jim Woodcock.

In: Adamatzky, A., Kendon, V. (eds) From Astrophysics to Unconventional Computation. Emergence, Complexity and Computation, vol 35. 2020

Wilmer Ricciotti and James Cheney.

5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. 2020

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall.

In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470.  2020

Alastair F. Donaldson, Hugues Evrard, and Paul Thomson.

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

Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad.

Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2
Article No.: 341, Pages 1982 – 2009. OOPSLA 2024.