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
Currently in read only mode, sorry about that, please try again in a few hours.
5 speakers
-
Edwin Brady @edwinbrady
-
Kevin Hammond @khstandrews
-
Philip Wadler @PhilipWadler
-
Conor McBride @pigworker
-
Thorsten Altenkirch @typetheori
