Deriving forward and reverse mode AD
We will derive forward and reverse mode automatic differentiation (AD) for pure, straight-line programs by example.
Posts
2024
The local state monad has rank (WIP)
In this post we will show that the local state monad of (Plotkin & Power, 2002) (which was suggested by Peter O’Hearn) has rank.