Простые типизированные функциональные языки программирования

Описан способ построения простых функциональных языков программирования, пригодных для определения классов рекурсивных функций ограниченной вычислительной сложности. Все обрабатываемые данные в языке обязательно ограничены типами, которые также могут быть построены средствами языка. Языки рассчитаны как на изучение сложностных классов алгоритмов, так и на расширения для практического программирования.