B

• BLAST Better Languages for Statistics

E

• Employing Categorical Probability Towards Safe AI

P

• Protocols, Observabilities and Session Types

Q

• Quantum programming via algebraic effects Quantum programming via algebraic effects: cross-fertilization between quantum and probabilistic programming

S

• STARDUST Session Types for Reliable Distributed Systems (STARDUST)

T

• TaRDIS Trustworthy and Resilient Decentralised Intelligence for Edge Systems (TaRDIS)

A

• AppControl AppControl: Enforcing Application Behaviour through Type-Based Constraints
• Aspect Refactoring Tools
• Aspect-Oriented Programming Languages Design and Implementation of Aspect-Oriented Programming Languages

B

• Bidirectional Transformations A Theory of Least Change for Bidirectional Transformations

C

• CompGameTheory A compositional approach to game-theoretic economic modelling

D

• Datatype-Generic Programming

G

• Generic and Indexed Programming

H

• Higher-order Constrained Horn Clauses Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs
• Higher-order Constrained Horn Clauses Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs

M

• Metacomputation Centre for Metacomputation
• Morello-HAT Morello-HAT: Morello High-Level API and Tooling

P

• Principled Foundations for Programming Languages

R

• Reusability and Dependent Types

S

• Siemens Obfuscation Project Intellectual Property Protection using Obfuscation

U

• Unifying Theories of Generic Programming
• Unifying Theories of Objects

V

• VSL-Q Verified Simulation for Large Quantum Systems (VSL-Q)