книги Компьютеры и Интернет Устройство компьютера, “железо”

Programming Language for Computable Functions

Код 1475251

Нет в продаже

Аннотация к книге "Programming Language for Computable Functions"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of modern typed functional languages such as ML. A fully abstract model for PCF was first given by Milner (1977). However, since...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1331-9461-8
Объём: 120 страниц
Масса: 203 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары