Publications Static analysis by abstract interpretation collecting types of Python programs Static analysis by abstract interpretation collecting types of Python programs Raphaël Monat PDF