B

• BLAST Better Languages for Statistics

C

• CompGameTheory A compositional approach to game-theoretic economic modelling

P

• Principled Foundations for Programming Languages

Q

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

A

• 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

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

M

• Metacomputation Centre for Metacomputation

R

• Reusability and Dependent Types

S

• Siemens Obfuscation Project Intellectual Property Protection using Obfuscation

U

• Unifying Theories of Generic Programming
• Unifying Theories of Objects