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/ …
-
-
Replying to @edwinbrady
@edwinbrady Splendid! *curses self for failing to produce Frank paper*1 reply 0 retweets 0 likes -
Replying to @pigworker
@pigworker It would have got a cite rather than a footnote! (maybe I should cite the manual... still 30-odd hours...)1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady I'm involved with two other papers, so Frank takes a back seat. But Frank's polymorphism is the kicker. It can wait.1 reply 0 retweets 0 likes -
Replying to @pigworker
@pigworker There are bits of Frank I wanted to steal but proved tricky... perhaps later...1 reply 0 retweets 0 likes -
Replying to @pigworker
@pigworker Indeed. I would have hoped so :).
5:46 PM - 27 Mar 2013
0 replies
0 retweets
0 likes
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.