There'll be a Dependently Typed Programming workshop in July. Please send fun stuff! More details emerging at http://eb.host.cs.st-andrews.ac.uk/DTP2014/
11:32 AM - 11 Mar 2014
0 replies
5 retweets
7 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.