Electronic Documents Search

Documents found: 1

Creators	Friedman Daniel P.; Christiansen David Thrane
Other creators	Bibby Duane; Harper Robert; McBride Conor
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2018
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Functional programming (Computer science); Logic programming; Computer logic; Type theory; Вычислительные машины электронные — Программирование; MIT Press eBooks Library
UDC	004.42
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=8681597