I’m going to PLACES I’ve never been in April… http://places17.by.di.fc.ul.pt/programme/
-
-
Replying to @edwinbrady
Also, I’ve carefully chosen a talk title that makes me finish what I’m currently working on. What Could Possibly Go Wrong.
2 replies 0 retweets 14 likes -
Replying to @edwinbrady
Correct Concurrent Programming? Nothing like setting a high bar. Why not P == NP, using the identity monad?
1 reply 0 retweets 0 likes
Replying to @_andy_gill
Session Types are very cool :). (And “correct” is open to interpretation…)
12:07 PM - 8 Mar 2017
0 replies
0 retweets
1 like
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.