Подскажите, пожалуйста, что почитать. Интересует лямбда исчисление, теория типов и реляционная алгебра.
И доступное (понятное, бесплатное и т.д.
) И, желательно, на русском. Хотя, если ничего нет, то и на англ. пойдет.
Заранее спасибо.
Здравствуйте, Flem1234, Вы писали:
F>Подскажите, пожалуйста, что почитать. Интересует лямбда исчисление, теория типов
"Функциональное программирование", А.Филд, П.Харрисон. "Мир", 1993
F>И доступное (понятное, бесплатное и т.д. )
При желании можно найти скан в .djvu
... << RSDN@Home 1.2.0 Pink Floyd — One Slip >>
Здравствуйте, Flem1234, Вы писали:
F>Подскажите, пожалуйста, что почитать. Интересует лямбда исчисление, теория типов и реляционная алгебра.
F>И доступное (понятное, бесплатное и т.д. ) И, желательно, на русском. Хотя, если ничего нет, то и на англ. пойдет.
MIT Press — Types and Programming Languages
MIT Press — Foundations of Object-Oriented Languages Types and Semantics
MIT Press — Advanced Topics in Types and Programming Languages
The Implementation Of Functional Programming Languages
Type Theory and Functional Programming
Concepts Techniques and Models of Computer Programming
Programming Languages and Lambda Calculi
The Haskell Road to Logic, Math and Programming
Много ещё чего есть почитать.
При должном упорстве всё находится в цифре в p2p сетях.
now playing: Quoit — Clasp (Version)
