WG1 report 2013 (current draft)

1. Calculus, language, model

2. Typing

3. Subtyping, refinement, projection

4. Liveness (progress in particular)

5. Logic (linear, design by contract, etc)

6. Exceptions, events

7. Equivalences, expressiveness, embeddings

8. Algorithms