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 3 - Good Health and Well-being
  • SDG 11 - Sustainable Cities and Communities

Fingerprint

Dive into the research topics where Programming Languages is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

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
  • Displayed Monoidal Categories for the Semantics of Linear Logic

    Ahrens, B., Matthes, R., Van Der Weide, N. & Wullaert, K., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 260-273 14 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    13 Downloads (Pure)
  • How Hard Is Weak-Memory Testing?

    Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A., 2024, In: Proceedings of the ACM on Programming Languages. 8, 32 p., 66.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • Univalent Double Categories

    Van Der Weide, N., Rasekh, N., Ahrens, B. & North, P. R., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 246-259 14 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    20 Downloads (Pure)