I seem to have submitted a paper, "Programming and Reasoning with Algebraic Effects and Dependent Types"http://edwinb.wordpress.com/2013/03/28/programming-and-reasoning-with-algebraic-effects-and-dependent-types/ …
@pigworker There are bits of Frank I wanted to steal but proved tricky... perhaps later...
-
-
@edwinbrady We shall speak further. -
@pigworker Indeed. I would have hoped so :).
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.