Модельный язык программирования — исследование типизации

Материал из Вики проекта PascalABC.NET
Версия от 08:16, 23 марта 2011; Juliet (обсуждение | вклад) (Новая: ''Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хинд...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хиндли-Милнера (Белякова Ю.).

Синтаксис

Источник — https://pascalabc.net/wiki/index.php?title=Модельный_язык_программирования_—_исследование_типизации&oldid=2047