ininet.org//ininet.org/incremental-type-inference-for-software-engineering.html