Posts by Tag

• monad 1
• local state 1
• category theory 1
• automatic differentiation 1
• derivatives 1

monad

The local state monad has rank (WIP)

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.

Back to top ↑

local state

The local state monad has rank (WIP)

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.

Back to top ↑

category theory

The local state monad has rank (WIP)

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.

Back to top ↑

automatic differentiation

Deriving forward and reverse mode AD

9 minute read

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

Back to top ↑

derivatives

Deriving forward and reverse mode AD

9 minute read

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

Back to top ↑