Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в теорию языков программирования
Глава 7. Ссылки и присваивание
Предыдущая страница
Следующая страница
Table of contents
От переводчиков
Что называют теорией языков программирования?
Благодарности
Глава 1. Термы и отношения
+
Глава 2. Язык PCF
+
Глава 3. От вычисления к интерпретации
+
Глава 4. Компиляция
+
Глава 5. PCF с типами
+
Глава 6. Вывод типов
+
Глава 7. Ссылки и присваивание
-
7.1. Расширение PCF
7.2. Семантика PCF со ссылками
Глава 8. Записи и объекты
+
Послесловие
Библиография
Предметный указатель
Данный блок поддерживает скрол*