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