can't find a topic for your next programming languages paper? worry not! type system idea generator: http://type.systems/
-
-
This Tweet is unavailable.
-
"contextual Π-calculus with refinement types" erm that sounds a bit like my unpublished research with a certain lover of 60s/70's children's programs...
End of conversation
-
-
-
I got "non-standard relevant λ-calculus with call/cc".
-
"computational λ-calculus with session types" :) It's like the Sorting Hat!
End of conversation
New conversation -
-
-
I got "abstract univalent calculus of inductive constructions with dependent types". I knew I would have to work on univalent constructions at some point !
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.