-
大小: 2.19MB文件类型: .pdf金币: 1下载: 0 次发布日期: 2023-11-12
- 语言: 其他
- 标签: Programming
资源简介
A type system is a syntactic method for enforcing levels of abstraction in programs. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. (The full table of contents is available here.)
代码片段和文件信息
- 上一篇:最优化讲义上海交大
- 下一篇:天气数据爬虫与可视化分析
相关资源
- Practical Game AI Programming
- The_C_Programming_Language(英文版)
- Programming in Lua(4th) 无水印pdf
- Mathematics for 3D Game Programming and Comput
- The Go Programming Language 无水印pdf
- Learning Go Programming azw3
- Go Web Programming 无水印pdf
- Cross-Platform GUI Programming with wxWidgets 无
- Introduction to 64 Bit Intel Assembly Language
- Beginning Swift Master the fundamentals of pro
-
SAS Certification Prep Guide ba
se Programmi - Mastering Assembly Programming 无水印pdf
- Programming in Scala 3rd edition
- The AWK Programming Language (中文版)
- Game Programming Using QT.pdf
- [emuch.net]Programming_the_Finite_Element_Meth
- Learning Algorithms Through Programming and Pu
- Programming Environments Manual for PowerPC.ra
- Expert C Programming Deep C Secrets (C 专家编
- gosystemsprogramming.pdf
- Introduction to 3D Game Programming with Direc
- J750 Basic Programming Class Student Manual
- Modern Assembly Language Programming With the
- Programming in Ada 2012
- Programming.in.Haskell.2nd.Edition.pdf
- Stochastic Programming
- ai game engine programming
- 多线程编程指南[中文完整翻译版] –
- Game Programming Algorithms and Techniques.pdf
- Programming 32-bit Microcontrollers in C Explo
评论
共有 条评论