1. 5
    Verifying higher-order programs with the Djikstra Monad pdf programming research.microsoft.com
    bitemyapp avatar via bitemyapp 3 years ago | cached | 2 comments

  1.  

  2. 1
    silky avatar silky 3 years ago | link

    a couple of related links

    1. 1
      tel avatar tel 3 years ago | link

      I read the why-lambda blog entry and while the Djikstra monad seems interesting… I’m not really sure why. He just explores a kind of CPS transform of the state monad. Can anyone quickly explain what makes the Djikstra monad valuable? Should I even read the paper?