Polymorphic type interference for object oriented programming languagesAndreas V. HenseÉpuiséPrévenez-moi
