Who: Conor McBride When: 7pm, 12th March Where: The Outhouse pub Title: "Totally Live Coprogramming" Abstract --- Total programming is too often characterised by the idea that "programs must eventually stop". But there's another side to totality, in which "coprograms can always go". I'll talk about how to guarantee system properties such as "liveness" and even "fairness" by strong typing disciplines, and show you what I'm talking about with a bit of livecoding (language still to be selected; perhaps language still to be implemented). The alleged Turing incompleteness of total languages will emerge as something of an exaggeration. I'll be frank about the shortcomings of current totality checking disciplines, but guardedly optimistic about current developments in that respect. Update: Conor's slides are: here. |
Coming Up >