Polynomial models of type theory (abstract)

Some No-Go Theorems for Distributive Laws (extended abstract) (abstract)

Formalizing Constructive Quantifier Elimination in Agda (abstract)

Relating Idioms, Arrows and Monads from Monoidal Adjunctions (abstract)

Ornamentation put into practice in ML (abstract)

Profunctor Optics and the Yoneda Lemma (abstract)

Backward induction for repeated games (abstract)

Everybody's Got To Be Somewhere (abstract)