Josh: Incremental Type-Checking for Python
I would like to extend my DuckTest type checking system and explore some applications of Incremental Computation in type checking in general and as applied directly to DuckTest. The utility of such an algorithm is apparent when type verifying a function inside a closure of dynamically-typed variables. As far as papers, I'm having trouble finding anything specifically related to the topic, but am open to suggestions. One paper that seems promising is one I referenced last semester: Nested Refinements: A Logic for Duck Typing.
This paper (on intersection type checking) seems tangentially related: http://www.cs.cmu.edu/~joshuad/papers/intcomp-jfp/Dunfield14_elaboration.pdf