Dependent ML

Реализация языка программирования ML

Dependent ML — является расширением языка программирования Standard ML. Dependent ML расширяет язык ML узкими формами зависимых типов таким образом, чтобы некоторые свойства программ (безопасность памяти, завершение работы и другие) могли быть проверены во время компиляции.