final version of talk

talk/popl-winter-2019/outline.org

@@ -133,6 +133,11 @@ Next: Axioms
       - emphasize the axioms to derivations more
       - emphasize reasoning principles rather than type safety
     - future work: more complex type features
+*** Problems
+    - Weak transition in intro
+      - From there are a bunch of semantics to our contributions
+    - Inconsistent terminology
+      - soundness principles, type soundness, semantic principles
 ** Questions
    - What about blame?
      - We don't give a treatment of blame in the paper, but a paper by
@@ -141,7 +146,7 @@ Next: Axioms
        positive party
      - And we argue in the paper that that is related to our proof
        that upcasts are pure and downcasts are linear
-   - Even CBV Eta is violated by pointer/object equality?
+   - Eta is violated by pointer/object equality?
      - right, and for this reason the simple wrapping semantics of
        contracts/casts doesn't work for those systems, and people
        introduce proxies