I've spoken twice about TypeCheck.jl in the past couple of weeks (at JuliaCon and Midwest.io). The Midwest.io talk has been posted: https://www.youtube.com/watch?v=mL1Ow03G8tk&feature=youtu.be
Because Midwest.io is a general programming conference, there's background on Julia before we get into the actual analysis. However, since it's the second time I gave the talk, it's more polished. But otherwise, it's the same content as the one I gave at JuliaCon. -- Leah