Saturday, July 19, 2008

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 :(
Post a Comment