Login / Signup

Dijkstra Monads in Monadic Computation.

Bart Jacobs
Published in: CMCS (2014)
Keyphrases