Topic
One feed in the directory covers this.
Applying effect systems and type theory to infrastructure.
Machine-readable: JSON · all topics