TILT

TILT — это самоконтролируемый компилятор Standard ML, который использует типизированный промежуточный язык. Во время компиляции типы транслируются наряду с кодом и контролем соответствия типов для проверки результата компиляции. TILT является исследовательским программным обеспечением финансируемым Национальным Фондом Науки.