Practical Foundations for Programming Languages读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	487页			2012	Cambridge University Press

定价	出版日期	最近访问	访问指数
USD 72.81	2012-11-01 …	2023-01-23 …	90

主题/类型/题材/标签

作者

Robert Harper ISBN:9781107029576 原作名/别名:《》

内容和作者简介

Practical Foundations for Programming Languages摘要

In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming theory that is both accessible and practical.

作者简介

Robert Harper has been a member of the faculty of Computer Science at Carnegie Mellon University since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Professor Harper is a recipient of the Allen Newell Medal for Research Excellence...

本书后续版本

未发行或暂未收录

喜欢读〖Practical Foundations for Programming Languages〗的人也喜欢：

Essentials of Programming Languages 编程,Programming,计算机,计算机科学,Scheme,language,Lisp,编译&体系结构,　2020-02-20 …

Foundations for Programming Languages 程序设计语言理论,Programming,计算机科学,PL,程序语义,lambda,程序设计,编译原理,　2020-02-20 …

Cocoa Programming for Mac OS X (4th Edition) cocoa,mac,ObjectiveC,Cocoa,Programming,programming,Objective-C,OS,　2020-02-20 …

Hello World! Computer Programming for Kids and Oth python,Programming,计算机,Python,编程语言,编程,计算机科学,英文版,　2020-02-20 …

Practical Statistics for Data Scientists 数据科学,Statistics,统计学,数据分析,Data,算法,计算机,编程,　2020-02-20 …

Practical Statistics for Data Scientists, 2nd Edit 统计学,数据科学,数据,　2019-05-01 …

Cocoa Programming for OS X (5th Edition) OSX,Mac,Apple,编程,Swift,计算机,programming,软件开发,　2020-02-20 …

Practical Foundations for Programming Languages 计算机科学,计算机,Programming,编程,cs,　2020-02-20 …

A Practical Handbook for the Actor 表演,电影,English,非虚构,自助,参考,textbook,Libgen已有,　2020-02-20 …

Practical Programming for Strength Training 健身,运动,训练,读书,跑步,　2020-02-20 …