2017-12-08: Bob Atkey (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Bob Atkey (MSP)

Dijkstra Monads

Abstract

One monad to the tune of another.

2017-12-08 16:00:00 UTC
LT1310