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.

Tell your friends!

Share this event with your friends on Twitter




Related books

  • Understanding Computation
  • Seven Languages in Seven Weeks
  • Python for Rookies

See something wrong?

Report an issue with this event