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〗的人也喜欢：

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

Practical Java Programming Language Guide Java,oop,　2020-02-20 …

Foundations of Python Network Programming python,Network,programming,网络,计算机,英文版,编程,代码,　2020-02-20 …

Foundations of Python Network Programming 网络编程,Python,python,编程,计算机,　2020-02-20 …

A Practical Guide to Linux Commands, Editors, and linux,programming,Linux/Unix,Shell,CS,　2020-02-20 …

Foundations of Python Network Programming Python,Network,programming,计算机,Apress,美国,编程,python,　2020-02-20 …

Foundations of Multithreaded, Parallel, and Distri 软件工程,计算机科学,Parallel,Programming,软件开发,计算机,编程,of,　2020-02-20 …

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

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

Foundations of Programming Languages (Undergraduat programming,　2020-02-20 …