Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
22.1% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Meijer E.
,
Fokkinga M.
,
Paterson R.
function
functions
catamorphisms
fusion
programming
xed
lists
anamorphisms
nition
recursion
functor
strict
anamorphism
functors
recursive
void
theorem
catamorphism
map
calculation
iterate
paramorphisms
programs
composition
hylomorphism
induction
notation
outl
swap
wadler
argument
fkg
prove
technical
algebraic
category
nite
operation
preds
report
speci
strictness
arbitrary
calculus
hylomorphisms
meertens
nitions
operators
shows
binary
Мова:
english
Файл:
PDF, 247 KB
Ваші теги:
0
/
0
english
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×