Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
- Горбатов, В. А. (1)
- Городняя, Лидия Васильевна (1)
- Зюзьков, Валентин Михайлович (1)
- Филд, Антони (1)
- Харрисон, Петер (1)
-
Locations
- Книгохранилище (2)
- Абонемент. Депозитарий (1)
-
Item types
- Выдается в читальный зал (2)
- 6 месяцев (1)
-
Topics
- компиляция программ функциональных (3)
- парадигма программирования функциональная (2)
- учебные пособия для вузов (2)
- функциональное программирование (2)
- Haskell (1)
- Hope, язык программирования (1)
- SECD-машина (1)
- Ассемблер (1)
- Лисп (1)
- Лисп-интерпретатор (1)
- Лисп-машина абстрактная (1)
- Черча лямбда-исчисление (1)
- асинхронные процессы (1)
- вычисления замедленные (1)
- вычисления ленивые (1)
- вычисления смешанные (1)
- вычислительные структуры Haskell (1)
- декомпозиция программы (1)
- динамическая память (1)
- задачи по ламбда-исчислению (1)
- задачи по программированию (1)
- имена Лисп (1)
- искусственный интеллект (1)
- классы Haskell (1)
- комбинаторная редукция (1)
- контексты Лисп (1)
- ламбда-исчисление (1)
- макетирование функций в Лисп (1)
- макеты программ (1)
- мемо-функции в Лисп (1)
- множества в Лисп (1)
- модели недетерминированные (1)
- объектно-ориентированное программирование (1)
- операторы Haskell (1)
- определения Лисп (1)
- отображения структур данных (1)
- последовательности в Лисп (1)
- предикаты в Лисп (1)
- преобразование программ (1)
- преобразование формул в Лисп (1)
- программирование аппликативное (1)
- программирование функциональное (1)
- редукция графов (1)
- семантика ламбда-исчисления (1)
- символьные выражения Лисп (1)
- синтаксис ламбда-исчисления (1)
- системное программирование (1)
- стили функционального программирования (1)
- структуры данных Лисп (1)
- типизирование в Haskell (1)
- Show more
- Show less