Centre for Programming Languages and Systems

  • Postal address

    United Kingdom

UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):

  • SDG 7 - Affordable and Clean Energy

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Parikh's Theorem Made Symbolic

    Hague, M., Jeż, A. & Lin, A., 5 Jan 2024, Principles of Programming Languages. p. 1945-1977 33 p. 65

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    20 Downloads (Pure)
  • A model of actors and grey failures

    Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 22 Nov 2023, In: Logical Methods in Computer Science. 19, 4

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • A Reference GLL Implementation

    Johnstone, A., 23 Oct 2023, Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’23), October 23–24, 2023, Cascais, Portugal. ACM, p. 43-55 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    62 Downloads (Pure)