Двустороннее типизированное срезание (Type Slicing)

В статье представлена теория типизированного срезания для двунаправленных систем типов, позволяющая изолировать часть программы, необходимую для воспроизведения конкретного типа выражения. Метод работает как для синтеза типов, так и для их анализа, а также интегрируется с теорией маркировки ошибок для объяснения типов и ошибок в неполном или некорректном коде.