We have PhD studentships available @StAndrewsCS. If you're interested, in type systems (dependent types especially), metaprogramming or compilation, please get in touch!pic.twitter.com/RpPfXCaCqS
4:22 AM - 19 Dec 2019
0 replies
31 retweets
32 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.