Устойчивость программ
Устойчивость версий на текстах одного автора В эксперименте было по два текста трех разных авторов.Это были контрольные точки, по котором программы и типировщики должны были давать одинаковые версии.Относительно устойчивой оказалась только основная версия для третьей программы, при этом ее результаты разошлись с мнением типируемых о своем ТИМе.