Продвинутые темы в типах и языках программирования
A

Продвинутые темы в типах и языках программирования

Ассемблер
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
Автор
Benjamin C. Pierce (editor)
Издательство
The MIT Press
Год
2005
Язык
Английский
106
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Продвинутые структуры данных и алгоритмы

Продвинутые структуры данных и алгоритмы

Abirami A, Priya R L

Язык программирования C++

Язык программирования C++

Bjarne Stroustrup

Computer Systems: A Programmer's Perspective, Third Global Edition

Computer Systems: A Programmer's Perspective, Third Global Edition

Randal E. Bryant, David R. O'Hallaron

Язык программирования C++, четвертое издание

Язык программирования C++, четвертое издание

Bjarne Stroustrup

Языки программирования: концепции и реализация

Языки программирования: концепции и реализация

Saverio Perugini

Effective C, 2nd Edition: An Introduction to Professional C Programming

Effective C, 2nd Edition: An Introduction to Professional C Programming

Robert C. Seacord

Полное руководство по программированию на C++

Полное руководство по программированию на C++

Ulla Kirch-Prinz, Peter Prinz

Программирование на C#: Типы значений и ссылочные типы

Программирование на C#: Типы значений и ссылочные типы

Марк Дж. Прайс

Язык программирования C, второе издание

Язык программирования C, второе издание

Брайан У. Керниган, Деннис М. Ритчи

Advanced Perl Programming

Advanced Perl Programming

Simon Cozens