link: Free theorems and runtime type re

1
http://www.cis.upenn.edu/~dimitriv/rtheorems-presentation.pdf