AdvancedTopicsinTypesandProgrammingLanguages.pdf资源-CSDN文库

5星 · 超过95%的资源需积分: 17 12 浏览量 2012-07-13 17:35:30 上传评论 2 收藏 9.07MB PDF 举报

资源推荐

资源详情

资源评论

Advanced Topics in Types and

Programming Languages

Pierce,

editor

computer science/programming languages

Advanced Topics in Types and Programming Languages

edited by Benjamin C. Pierce

The study of type systems for programming languages now touches many areas of computer

science, from language design and implementation to software engineering, network security,

databases, and analysis of concurrent and distributed systems. This book offers accessible

introductions to key ideas in the field, with contributions by experts on each topic.

The topics covered include precise type analyses, which extend simple type systems to give

them a better grip on the run time behavior of systems; type systems for low-level languages;

applications of types to reasoning about computer programs; type theory as a framework for the

design of sophisticated module systems; and advanced techniques in ML-style type inference.

Advanced Topics in Types and Programming Languages

builds on Benjamin Pierce’s

Types

and Programming Languages

(MIT Press, 2002); most of the chapters should be accessible to

readers familiar with basic notations and techniques of operational semantics and type sys-

tems—the material covered in the first half of the earlier book.

Advanced Topics in Types and Programming Languages

can be used in the classroom and

as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick

comprehension checks to challenging extensions, many with solutions. Additional material can

be found at

<http://www.cis.upenn.edu/~bcpierce/attapl>.

Benjamin C. Pierce is Professor of Computer and Information Science at the University of

Pennsylvania. He is the author of

Basic Category Theory for Computer Scientists

(MIT Press,

1991) and

Types and Programming Languages

(MIT Press, 2002).

Cover photograph and design by Benjamin C. Pierce

The MIT Press

Massachusetts Institute of Technology

Cambridge, Massachusetts 02142

http://mitpress.mit.edu

0-262-16228-8

,!7IA2G2-bgccij!:t;K;k;K;k

剩余588页未读，继续阅读

内容反馈

孙桨

2015-06-10

资料不错，准备收藏
lyiuann

2015-04-13

据说不错,我正准备好好看一下
Coursera

2014-02-06

学习编译的一本参考书，应该予以收集

xzh2005227042

粉丝: 6
资源: 67

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈

feedback-tip