SICSA Summer School on Types and Programming Languages
This summer school will give participants an overview of the research landscape and state of the art in programming language theory, focussing in particular on types for program specification and verification.
7 – 9 June 2012
5 speakers
-
Edwin Brady @edwinbrady
-
Kevin Hammond @khstandrews
-
Philip Wadler @PhilipWadler
-
Conor McBride @pigworker
-
Thorsten Altenkirch @typetheori
