A Rite of Spring

Towards the Mathematics of Quantum Field Theory

ScalaFlow: Continuation-based Data Flow in Scala

A Diagrammatic Approach to Categorifying Quantum Groups I

A Diagrammatic Approach to Categorifying Quantum Groups II

A Diagrammatic Approach to Categorifying Quantum Groups III

An introduction to Conway's Games and Numbers

Monads and extensive quantities

A convenient differential category

Calculus of extensive quantities

Programming with Arrows

Enumeration of Generalized Pol Yo Mi Noes

Clowns to the left of me, Jokers to the right

Yacc is dead

Closed nominal rewriting and efficiently computable nominal algebra equality

Abstracting abstract machines

Monadic framework for delimited continuations

Scrap Your Zippers

Tensor product for symmetric monoidal categories

BIMONADS AND HOPF MONADS ON CATEGORIES