If you’re interested in doing postgraduate research in programming languages, types, etc, please let me know.https://twitter.com/miguelnacenta/status/829656611388026880 …
-
-
"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.