If you’re interested in doing postgraduate research in programming languages, types, etc, please let me know.https://twitter.com/miguelnacenta/status/829656611388026880 …
-
-
*using goats
-
I am not supervising a PhD on using goats to do novel things. I have to draw the line somewhere.
-
Generalized o... a... types. There must be a way to make that a backronym.
-
"open algebraic"?
-
I just hope, nobody does "Extensions" to this
-
"Generalized orthogonal algebraic type system extensions." We have a winner.
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.