===== 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 ====