"Cost versus precision for approximate typing for Python."

Levin Fritz, Jurriaan Hage (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics