Кастомизация: Оптимизация технологии компиляции для SELF, динамически типизированного объектно-ориентированного языка

В статье 1989 года описываются методы извлечения статической информации о типах из программ без явных объявлений. Компилятор генерирует специализированные копии процедур для каждого типа получателя, связывая тип на этапе компиляции и вставляя проверки типов во время выполнения для верификации предсказаний.