Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel SmalltalkChristian LesnySold out4.3Track