The BookList of Programming Language

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

原创最新推荐文章于 2022-06-26 22:33:57 发布 · 1.3k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#types #system

BookList 专栏收录该内容

3 篇文章

订阅专栏

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

577

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 ...

Reading notes - The Rust Programming Language

小科

06-26

1426

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

The Rust Programming Language 笔记

tjmljw的专栏

09-26

4995

镜像资源新建一个文件 ~/.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

The Elements of Programming Style

samantha_wang的专栏

11-29

2089

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

3403

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

3850

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

1022

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

1544

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

The Definitive C++ Book Guide and List

勤学如春起之苗，不见其增，日有所长！辍学如磨刀之石，不见其损，日有所亏！

01-06

1148

转自：https://stackoverflow.com/questions/388242/the-definitive-c-book-guide-and-list/388282#388282 Beginner Introductory, no previous programming experience C++ Primer* (Stanley Lippman, Josée Laj...

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 ...

FreeRTOS嵌入式实时操作系统内核源码架构与多平台移植支持项目_包含通用核心组件与特定微控制器编译器适配文件的实时内核系统_用于为不同硬件平台提供可裁剪的实时任务调度和资源管理.zip

12-06

图像分割基于遗传算法的进化聚类技术对彩色图像进行分割（Matlab代码实现）

12-06

【图像分割】基于遗传算法的进化聚类技术对彩色图像进行分割（Matlab代码实现）内容概要：本文介绍了一种基于遗传算法的进化聚类技术，用于对彩色图像进行分割，并提供了相应的Matlab代码实现。该方法结合了遗传算法的全局搜索能力与聚类算法的数据划分优势，通过迭代优化实现对彩色图像像素的有效聚类，从而完成图像分割任务。文中阐述了算法的基本原理、实现步骤以及关键参数设置，展示了该技术在处理复杂彩色图像时的有效性和鲁棒性。; 适合人群：具备一定图像处理基础和Matlab编程经验的科研人员、研究生及工程技术人员，熟悉遗传算法和聚类分析的相关理论者更佳。; 使用场景及目标：①应用于医学图像、遥感图像、目标识别等领域的图像预处理环节；②用于研究和改进现有图像分割算法，提升分割精度与效率；③作为教学案例帮助学生理解遗传算法与聚类算法的融合机制。; 阅读建议：建议读者结合提供的Matlab代码进行实践操作，深入理解算法每一步的实现逻辑，同时可通过调整遗传算法参数（如种群大小、交叉概率、变异概率）和聚类初始条

基于Matlab的太阳能-风能混合发电系统仿真模型

12-06

基于MATLAB的混合太阳能与风能发电系统建模与分析本研究旨在构建一个集成太阳能与风能发电的综合性能源系统仿真模型。该模型采用MATLAB/Simulink平台进行开发，通过建立精确的光伏阵列与风力涡轮机数学模型，实现对混合可再生能源系统动态特性的深入探究。系统设计综合考虑了气象条件变化、负载需求波动以及储能单元配置等多重因素，以评估其在多种运行场景下的性能表现。研究重点在于分析两种能源的互补特性，通过优化控制策略来平抑功率输出波动，提升供电可靠性与电网兼容性。仿真过程将详细考察不同季节与天气模式下系统的发电效率、能量管理逻辑以及整体经济性。最终，该模型可为实际混合可再生能源电站的规划设计、容量配置与运行优化提供理论依据与数据支持。资源来源于网络分享，仅用于学习交流使用，请勿用于商业，如有侵权请联系我删除！

2D三角洲html游戏