My career as a type theorist has clearly taken a strange turn, since I've been asked to do a keynote at the Scheme workshop alongside ICFP. This will be fun!
-
-
I look forward to it :D
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Dependent types go over a lot better than HM types, from what I've seen. And for good reason. Of course, if you're not co-presenting with Dan Friedman, it might be a bit tougher. Keep those code examples on hand in case you need a smoke screen
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.