View:
Show Author | Hide Author
LISTSERV Archives
FACS-EVENTS Home
Subscribe or Unsubscribe
Log In
Get Password
Reminder: BCS-FACS Evening Seminar "How can you trust formally verified software?" 29 September 2017
Jonathan Bowen
Wed, 13 Sep 2017 23:54:32 +0100
185 lines
Re: BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof. Simon Peyton Jones, 12 December, 6pm
Paul Boca
Fri, 8 Sep 2017 23:23:34 +0100
281 lines
BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof. Simon Peyton Jones, 12 December, 6pm
Fri, 8 Sep 2017 22:57:11 +0100
258 lines
Advanced Options
For help and support help@jisc.ac.uk