Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm
3402
1
0
9 trang
Work in type systems for programming languages now touches many parts of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. The aim of this book, together with its predecessor, Types and Programming Languages (Pierce [2002]—henceforth TAPL) is to offer a comprehensive and accessible introduction to the area’s central ideas, results, and techniques.
Nội dung trích xuất từ tài liệu:
Ebook Advanced topics in types and programming languages - Benjamin C. Pierce (editor)
