I’m going to PLACES I’ve never been in April… http://places17.by.di.fc.ul.pt/programme/
-
-
But what wonderful puns that could be made!
-
Already working on them, as I’m sure you can tell :)
End of conversation
New conversation -
-
-
Correct Concurrent Programming? Nothing like setting a high bar. Why not P == NP, using the identity monad?
-
Session Types are very cool :). (And “correct” is open to interpretation…)
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.