If you’re interested in doing postgraduate research in programming languages, types, etc, please let me know.https://twitter.com/miguelnacenta/status/829656611388026880 …
-
-
-
Replying to @JonasWinje
Great! Best way to start is send me an email with even the vaguest sketch of a research idea.
1 reply 0 retweets 1 like -
Replying to @edwinbrady
Ook. "Vaguest sketch" sounds somewhat doable :) Will get around to.
1 reply 0 retweets 1 like -
-
*using goats
2 replies 0 retweets 2 likes -
I am not supervising a PhD on using goats to do novel things. I have to draw the line somewhere.
3 replies 0 retweets 6 likes -
Generalized o... a... types. There must be a way to make that a backronym.
1 reply 0 retweets 1 like -
"open algebraic"?
1 reply 0 retweets 3 likes -
Replying to @larsr_h @andreasdotorg and
I just hope, nobody does "Extensions" to this
1 reply 0 retweets 0 likes
Replying to @DerDackel @larsr_h and
"Generalized orthogonal algebraic type system extensions." We have a winner.
5:31 AM - 2 Mar 2017
0 replies
0 retweets
2 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.