没有合适的资源?快使用搜索试试~ 我知道了~
Advanced Topics in Types and Programming Languages.pdf
5星 · 超过95%的资源 需积分: 17 56 下载量 98 浏览量
2012-07-13
17:35:30
上传
评论 2
收藏 9.07MB PDF 举报
温馨提示
试读
589页
Advanced Topics in Types and Programming Languages.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
Advanced Topics in Types and Programming Languages
Advanced Topics in
Types and Programm ing Languages
Benjamin C. Pierce, editor
The MIT Press
Cambridge , Massachusetts
London, England
©2005 Massachusetts Institute of Technology
All rights reserved. No part of this book may be reproduced in any form by
any electronic of mechanical means (including photocopying, recording, or
information storage and retrieval) without permission in writing from the
publisher.
This book was set in Lucida Bright by the editor and authors using the L
A
T
E
X
document preparation system.
Printed and bound in the United States of America.
10987654321
Library of Congress Cataloging-in-Publication Data
Advanced topics in types and programming languages / Benjamin C. Pierce,
editor.
p. cm.
Includes bibliographical references and index.
ISBN 0-262-16228-8 (hc.: alk. paper)
1. Programming languages (Electronic computers). I. Pierce, Benjamin C.
QA76.7.A36 2005
005.13—dc22
200457123
剩余588页未读,继续阅读
资源评论
- 孙桨2015-06-10资料不错,准备收藏
- lyiuann2015-04-13据说不错,我正准备好好看一下
- Coursera2014-02-06学习编译的一本参考书,应该予以收集
xzh2005227042
- 粉丝: 6
- 资源: 67
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功