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