SICSA Summer School on Types and Programming Languages See the SICSA Summer School on Types and Programming Languages web site for further details.