The BookList of Programming Language

最新推荐文章于 2022-06-26 22:33:57 发布

IWillSaveGod

最新推荐文章于 2022-06-26 22:33:57 发布

阅读量1.2k

点赞数

分类专栏： BookList 文章标签： types system

本文链接：https://blog.csdn.net/iwillsavegod/article/details/23845

版权

BookList 专栏收录该内容

3 篇文章 0 订阅

订阅专栏

The BookList of Programming Language

Newbie's:

     1.Programming Languages：Design and Implementation Fourth Edition
         by Terrence W.Pratt Marvin V.Zelkowitz
     2.Programming Languages:Concepts & Constructs by Ravi Sethi

3.Structure and Interpretation of Computer Programs
Primer：

4.Types and Programming Languages by Benjamin C. Pierce

5.Foundations of Object-Oriented Languages: Types and Semantics by Kim B. Bruce

6.Foundations for Programming Languages by John C. Mitchell

Advanced:

7.The FormalSemantics of Programming Languages by Glynn Winskel

8.Advanced Topic in Type System and Programming Languages by Benjamin C. Pierce

9.Semantics of Programming Languages by Andrew M. Pitts

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

IWillSaveGod

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
2
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

programming-language-list：编程语言列表以及有关它们的其他信息

02-20

**注意：存储库尚未完全设置。某些链接可能无效。知识：编程语言列表不仅仅是简单地向您展示如何以多种语言打印“ Hello World”。我们的目标是列出多种编程语言，并提供其历史，使用情况等信息。 :open_book: 文献资料文献资料信息 :balance_scale: 查看我们的许可证。（CC-BY-SA-4.0） :heart_with_ribbon: 如何对编程语言列表做出贡献。 :globe_with_meridians: 项目的可用翻译。 :white_question_mark: 经常问的问题。 :laptop: 我们的编程语言列表。 :bookmark_tabs: 行为守则。 :white_exclamation_mark: :white_question_mark: 与我们沟通的地方（暂时不可用）类型平台功能要求讨论问题 - 谢谢... 合作者贡献者赞助商

Programming Microsoft Visual C# 2008—The Language

11-19

If you want to learn Visual C# 2008, including its exciting new features, Programming Microsoft Visual C#2008: The Language provides a comprehensive exploration of the language. LINQ is the most ...

2 条评论您还未登录，请先登录后发表或查看评论

List_of_programming_languages

iteye_7332的博客

05-16

456

List_of_programming_languages A+BAT A+ A++ A# .NET A# (Axiom) A-0 ABAP ABC ABC ALGOL ABLE ABSET ABSYS ACC Accent ActionScript Ace DASL ACT-III Ada APL AWK B ...

The Rust Programming Language 笔记

tjmljw的专栏

09-26

4715

镜像资源新建一个文件 ~/.cargo/config [source.crates-io] replace-with = 'tuna' [source.tuna] registry = "https://mirrors.tuna.tsinghua.edu.cn/git/crates.io-index.git" 构建帮助文档 cargo doc --open 语法 :: 语法表示静态方法调用, 例如: String::new(), 这个静态方法是定义在 structure 中的一个 function

Reading notes - The Rust Programming Language

小科

06-26

1054

《The Rust Programming Language》阅读笔记，希望我能持续更新完。一起学习 Rust 编程吧

The Elements of Programming Style

samantha_wang的专栏

11-29

1741

http://reprog.wordpress.com/2010/03/06/programming-books-part-2-the-elements-of-programming-style/ The Reinvigorated Programmer Everything except sauropod vertebrae Skip

[转] The Development of the C Language

weixin_30487201的博客

08-02

2713

The Development of the C Language* Dennis M. Ritchie Bell Labs/Lucent Technologies Murray Hill, NJ 07974 USA dmr@bell-labs.com ABSTRACT The C programming language was devised in...

The Development of the C Language

czw

07-09

3100

The Development of the C Language1 Dennis M. Ritchie Bell Labs/Lucent Technologies Murray Hill, NJ 07974 USA dmr@bell-labs.com ABSTRACT The C programming language was devised in the early 1970

Functional Programming For The Rest of Us

qq_40420322的博客

11-08

852

title: Functional Programming For The Rest of Us data: 2018-9-25 tags: [Functional,Programming,原文,学习] categories: [学习] grammar_cjkRuby: true copyright: true 本文及翻译摘自Github@justjavac（迷渡） =============...

The Swift Programming Language 中文翻译版

jaccen的专栏

06-03

1453

原文（http://www.cnblogs.com/lkvt/p/3765349.html）一、Welcome to Swift 1.关于Swift 　　Swift是一种用于iOS和OS X应用的全新编程语言，它建立在最好的C和Objective-C语言中，并且没有C语言的兼容性限制。Swift采用安全的编程模式，增加了现代功能使编程更容易、更灵活、更有趣。Swift背靠成

C.Programming.The.Ultimate.Way.to.Learn.C.1500481114

07-29

Learn the all basics and advanced features of C programming in no time from Bestselling Programming Author Harry. H. Chaudhary. This Book, starts with the basics; I promise this book will make you ...

rust-book-list

05-30

Introduction - The Rust Programming Language Style Guidelines Introduction - Learning Rust With Entirely Too Many Linked Lists Table of Contents - Rust Cookbook Design notes - The Ru

C.Programming.The.Definitive.Beginners.Reference.1500481009

07-29

C++ Programming From Problem Analysis to Program Design 5th Edition

06-16

W ELCOME TO THE F IFTH EDITION OF C++ Programming: From Problem Analysis to Program Design. Designed for a first Computer Science (CS1) C++ course, this text provides a breath of fresh air to you and ...

The Go Programming Language（读书笔记）

cteng的专栏

12-20

1761

The Go Programming Language 目录 [隐藏] 1 Tutorial2 程序结构3 基本数据类型4 复合类型5 函数6 方法7 Interfaces8 Goroutines and Channels9 并发with共享变量10 包与Go工具11 Testing12 反射13 底层编程 [

基于java的校园美食交流系统设计与实现.docx

09-19

基于java的校园美食交流系统设计与实现.docx

#_ssm_126_mysql_实习支教中小学学校信息管理系统_.zip

09-19

均包含代码，文章，部分项目包含ppt

基于python的酒店评论中文情感分析系统源码+设计文档+数据集.zip

最新发布

09-19

基于python的酒店评论中文情感分析系统源码+设计文档+数据集.zip基于python的酒店评论中文情感分析系统源码+设计文档+数据集.zip基于python的酒店评论中文情感分析系统源码+设计文档+数据集.zip 个人大四的毕业设计、课程设计、作业、经导师指导并认可通过的高分设计项目，评审平均分达96.5分。主要针对计算机相关专业的正在做毕设的学生和需要项目实战练习的学习者，也可作为课程设计、期末大作业。 [资源说明] 不懂运行，下载完可以私聊问，可远程教学该资源内项目源码是个人的毕设或者课设、作业，代码都测试ok，都是运行成功后才上传资源，答辩评审平均分达到96.5分，放心下载使用！ 1、该资源内项目代码都经过测试运行成功，功能ok的情况下才上传的，请放心下载使用！ 2、本项目适合计算机相关专业(如计科、人工智能、通信工程、自动化、电子信息等)的在校学生、老师或者企业员工下载学习，也适合小白学习进阶，当然也可作为毕设项目、课程设计、作业、项目初期立项演示等。 3、如果基础还行，也可在此代码基础上进行修改，以实现其他功能，也可用于毕设、课设、作业等。下载后请首先打开README.md文件（如有），供学习参考。

C++编程语言第三版

"The C++ Programming Language Special Edition" 《C++编程语言特别版》是Bjarne Stroustrup所著的一本经典C++编程书籍，由AT&T Labs的Murray Hill, New Jersey出版，并由Addison-Wesley出版集团在全球多个地区...