Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel SmalltalkChristian LesnyAgotado4,3Notifícame