MIT.AdvancedTopicsinTypesandProgrammingLanguages资源-CSDN文库

5星 · 超过95%的资源需积分: 50 201 浏览量 2009-05-10 06:51:52 上传评论 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页未读，继续阅读

内容反馈

wzfgalois

2012-03-12

任何一个想专研编译器设计，计算机语言设计理论的人都应该认真的阅读这本书，不过很难，要花很多功夫的，但是弄懂了绝对大有裨益，要从理解基础理论基础上创新，而不是仅仅停留在写几行代码！
wuhaitong2004

2014-12-31

软件开发高级书籍！
sashoumaru

2012-11-06

只是关于编译器的设计，我想找本很理论的书学习一下lumbda calculus，这本书里面没有。不过谢谢分享。
newthis

2014-06-22

内容不过，但是有难度，编译器方面的

shenyute

粉丝: 0
资源: 2

最新资源

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

feedback-tip