B
- BLAST Better Languages for Statistics
C
- CompGameTheory A compositional approach to game-theoretic economic modelling
P
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
G
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
S
- Siemens Obfuscation Project Intellectual Property Protection using Obfuscation