Tag: Gavin Bierman

  • Discussing “Computational Types from a Logical Perspective”

    Discussing “Computational Types from a Logical Perspective”

    This is a sequel to a paper by Moggi that I discussed some time ago. That paper discussed side effects, which are, roughly speaking, anything interesting that a program does other than map inputs deterministically to outputs, such as failure to terminate with a value, taking in user input, or producing output before the computation…