We'll be having a summer school on Practical Types this summer in St Andrews. More speakers to be confirmed soon. http://eb.host.cs.st-andrews.ac.uk/PracticalTypes/
-
-
@edwinbrady ;-) Brilliant. All the best with the school!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.