Posts by Category

theory

9 minute read

We will derive forward and reverse mode automatic differentiation (AD) for pure, straight-line programs by example.

6 minute read

In this post we will show that the local state monad of (Plotkin & Power, 2002) (which was suggested by Peter O’Hearn) has rank.