Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel SmalltalkChristian LesnyEsaurito4,3Avvisami