Benjamin C Pierce Types and Programming Languages
Atypesystemisasyntacticmethodforenforcinglevelsofabstractioninprograms.Thestudyoftypesystems--andofprogramminglanguagesfromatype-theoreticperspective--hasimportantapplicationsinsoftwareengineering,languagedesign,high-performancecompilers,andsecurity.Thistextprovidesacomprehensiveintroductio
推荐下载
-
programming languages编程语言课程的家庭作业源码
编程语言 此回购包含了我从“编程语言课程”中获得的作业。
8 2021-04-07 -
Object_Oriented Programming Languages Application and Interpretation中文版
Object-Oriented Programming Languages: Application and Interpretation last updated: Friday, June 15t
54 2019-01-01 -
c C++and assembly languages for embedded systems
c,c++,and assembly languages for embedded systems
8 2023-01-09 -
Mixing Native and Managed Types in C++.
Mixing Native and Managed Types in C++.docx
31 2018-12-08 -
编程语言应用程序和解释Programming Languages Application and Interpretation
这本教科书向学生展示了编程语言的来源,为何应将语言视为抽象的最终形式,如何认识到这种不断发展的抽象以及如何将其认识的内容转化为语言。
9 2020-08-20 -
Thinking with Types
ThinkingwithTypesstarted,assomanyofmyprojectsdo,accidentally.Iwasunemployed,bored,andstartingtogetti
56 2020-02-08 -
maturitni_projekt_Benjamin_Verner源码
maturitni_projekt_Benjamin_Verner
1 2021-05-05 -
编程语言的实用基础Robert Harper Practical Foundations for Programming Languages Robert
对各种编程语言概念的出色介绍。使用对编程语言的分析和实现在实践中非常有用的技术，对它们进行了统一且仔细的解释。
30 2020-05-15 -
IEC611313Ed2Programmable controllers–Part3Programming languages
PLC编程语言国际标准。
24 2019-09-10 -
A Comparison of Programming Languages in Economics16Jun2014计算机科学
A Comparison ofProgramming Languagesin Economics∗S. Borağan Aruoba†University of MarylandJesús Ferná
18 2021-04-23
用户评论