Поиск
На сайте: 567989 статей, 285490 фото.

Types in Logic Programming (книга)

Types in Logic Programming
Автор: Frank Pfenning
Оригинал издан: ????

«Types in Logic Programming»книга ???? года.

Содержание

Содержание

От издателя

«Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the…»

Рецензии

См. также

Ссылки