|
|
|
Size
|
BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof. Simon Peyton Jones, 12 December, 6pm
|
Paul Boca |
Fri, 8 Sep 2017 22:57:11 +0100 |
258 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 |
SOAP@SAC 2018, April 9-13, Pau, France - (EXTENDED DEADLINE) final call for papers
|
Soap 2018 |
Mon, 11 Sep 2017 12:47:59 +0200 |
193 lines |
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 |
ABZ 2018, Call for Contributions
|
Jonathan Bowen |
Fri, 15 Sep 2017 15:18:22 +0100 |
318 lines |