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 It would have got a cite rather than a footnote! (maybe I should cite the manual... still 30-odd hours...)
-
-
@edwinbrady I'm involved with two other papers, so Frank takes a back seat. But Frank's polymorphism is the kicker. It can wait. -
@pigworker There are bits of Frank I wanted to steal but proved tricky... perhaps later... - 2 more replies
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.