Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel SmalltalkChristian LesnyÉpuisé4,3Prévenez-moi