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

Tell your friends!

Share this event with your friends on Twitter

Topics

Share

Staff

Related books

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

See something wrong?

Report an issue with this event