how to write a paper

So clean! I rarely understand type theory papers, so these were a welcome change :)

• Gradual Typing for Functional Languages
• Gradual Typing for Objects
• Gradual Typing with Unification-based Inference

Lurking behind the scenes is parametricity/polymorphism. That has already started to show up (go Arjun! hadn't thought of your paper in that light) and we'll probably see more soon :)

Now I might actually have a shot at formalizing gradually typed transparency! This could be a good chance to learn Coq/Isabelle/?. Too bad our resident expert is now at Harvard :(