Book Chapter10.1007/978-3-642-03359-9_30

A Hoare Logic for the State Monad

Wouter Swierstra-2009-01-01-Lecture notes in computer science

42

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Monad (category theory)Computer scienceProgramming languagePearlState (computer science)Hoare logicHaskellProcess (computing)

Chat

Click to start Chat