Типы и языки программирования
A

Типы и языки программирования

Общее
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
Автор
Benjamin C. Pierce
Издательство
The MIT Press
Год
2002
Язык
Английский
92
Оцените книгу

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

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

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

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

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

Benjamin C. Pierce (editor)

Programming Language Pragmatics, Fifth Edition

Programming Language Pragmatics, Fifth Edition

Michael L. Scott, Jonathan Aldrich

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

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

Bjarne Stroustrup

Rust Programming Language: Comprehensive Guide to Syntax, Types, and Core Concepts

Rust Programming Language: Comprehensive Guide to Syntax, Types, and Core Concepts

Не указан в предоставленном содержании

Principles of Object-Oriented Programming

Principles of Object-Oriented Programming

Не указан

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

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

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

Saverio Perugini

Спецификация языка программирования Go

Спецификация языка программирования Go

Оливер Стоун

Алгоритмы и структуры данных

Алгоритмы и структуры данных

Niklaus Wirth

Concepts and Vocabulary: Programming Concepts and Vocabulary

Concepts and Vocabulary: Programming Concepts and Vocabulary

Автор не указан