Context-free session types

Written by your-uid-here (your-name-here)
Published: 2016-09-17 (last updated: 2016-09-17)

There is currently no liveblog summary available for this talk. Please contribute one by modifying this file.

You can:

Some useful contributions before the talk include:

  • a link to an open access preprint PDF (see here)
  • background information you might feel will help readers understand the talk better

During the talk, some useful things to record in a liveblog are:

  • the general flow of the speaker's explanation
  • summaries or links that would be useful to a reader that has not read the paper
  • any questions the audience asks which may not be recorded correctly
  • send photos or other social media during this talk to this email

If you find yourself confused by Git, you are not alone. Find a nearby functional progammer to assist you with the fine art of issuing a pull request.