I'm on the Programme Committee for Scala '19 (https://2019.ecoop.org/home/scala-2019#Call-for-Papers …). Please send interesting papers, especially if you're doing fun things with type systems, and I promise not to say "Why didn't you do this in Idris instead?" in my review :).
9:09 AM - 28 Feb 2019
0 replies
16 retweets
72 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.