没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Types and Programming Languages PDF 英文
Types and Programming Languages PDF 英文
haskell
4星
· 超过85%的资源
需积分: 15
79 下载量
107 浏览量
2017-02-25
19:58:40
上传
评论
3
收藏
2MB
PDF
举报
温馨提示
立即下载
《类型与编程语言》 学FP的同学可能需要这本书
资源推荐
资源评论
Types and Programming Languages
浏览：142
The study of type systems—and of programming languages from a type- theoretic perspective—has become an energetic field with major applications in software engineering, language design, high-performan
类型和程序设计语言(Types and Programming Languages)
浏览：52
5星 · 资源好评率100%
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在
Advanced Topics in Types and Programming Languages.pdf
浏览：37
5星 · 资源好评率100%
Advanced Topics in Types and Programming Languages.pdf
Programming Languages and Systems 无水印pdf
浏览：96
Programming Languages and Systems 英文无水印pdf pdf所有页面使用FoxitReader和PDF-XChangeViewer测试都可以打开 本资源转载自网络，如有侵权，请联系上传者或csdn删除 本资源转载自网络，如有侵权，请联系上传者
Benjamin C Pierce Types and Programming Languages
浏览：84
5星 · 资源好评率100%
A type system is a syntactic method for enforcing levels of abstraction in programs. The study of type systems--and of programming languages from a type-theoretic perspective--has important applicatio
MIT.Advanced Topics in Types and Programming Languages
浏览：179
5星 · 资源好评率100%
the book describe about type systems, you can learn more about programming language
Programming_with_Python.pdf.pdf
浏览：199
Programming_with_Python.pdf
Thinking.with.Types.2018.pdf
浏览：103
Type-Level Programming in Haskell This book aims to be the comprehensive manual for type-level programming. It’s about getting you from here to there—from a competent Haskell programmer to one who co
Software Languages Syntax, Semantics, and Metaprogramming 无水印原版pdf
浏览：188
Software Languages Syntax, Semantics, and Metaprogramming 英文无水印原版pdf pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开 本资源转载自网络，如有侵权，请联系上传者或csd
Introduction to Programming Languages PDF
浏览：61
Introduction to Programming Languages PDF Introduction to Programming Languages PDF
Types_and_Programming_Languages.pdf.tar.gz_文章/文档_LISP_
浏览：50
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute.
Advanced Topics in Types and Programming Languages
浏览：111
5星 · 资源好评率100%
Advanced Topics in Types and Programming Languages Benjamin C. Pierce, editor The MIT Press
Foundations for Programming Languages
浏览：165
Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced .
System Programming with C and Unix
浏览：37
5星 · 资源好评率100%
Adam Hoover's System Programming with C and Unix introduces students to commonly used system tools (libraries, debuggers, system calls, shells and scripting languages) and then explains how to utilize
Javascript.Object.Oriented.Programming.pdf
浏览：47
Generate instances in three programming languages: Python, JavaScript, and C# Work with a combination of access modifiers, prefixes, properties, fields, attributes, and local variables to encapsulate
Programming Languages Application and Interpretation 中文版
浏览：12
Programming Languages Application and Interpretation 中文版
Beginning Swift Programming.pdf
浏览：118
Apple developed Swift to address the limitations of Objective-C, and add features found in more complex languages like Python. The results is simpler, cleaner, more expressive code with automatic ...
Beginning Swift: Master the fundamentals of programming in Swift 4 pdf
浏览：106
Beginning Swift: Master the fundamentals of programming in Swift 4 pdf Master the fundamentals of programming in Swift 4 Key Features Covers theory and practice in equal parts Teaches you how to ...
Programming in Haskell 2nd version Graham Hutton
浏览：34
5星 · 资源好评率100%
recent changes concerning applicative, monadic, foldable and traversable types. GRAHAM HUTTON is Professor of Computer Science at the University of Nottingham. He has taught Haskell to thousands of ..
Core PYTHON Programming, 2nd Edition (pdf, Python 2.5)
浏览：85
5星 · 资源好评率100%
Using practical code examples, Chun introduces all the fundamentals of Python programming: syntax, objects and memory management, data types, operators, files and I/O, functions, generators, error ...
ebook-Practical C Programming, 3rd Edition(ebook).pdf
浏览：91
with the mechanics of programming and programming style. Next, you learn how to use variables and very simple decision and control statements. In Chapter 7, we take you on a complete tour of the ..
Introduction to Programming in Java 2nd Robert Sedgewick
浏览：33
5星 · 资源好评率100%
The authors supply the tools needed for students and professionals to learn that programming is a natural, satisfying, and creative experience, and to become conversant with one of the world’s most ..
Springer.Introduction.to.Assembly.Language.Programming.For.Pentium.and.RISC.Processors.With.75.Illustrations.2005.pdf
浏览：81
4星 · 用户满意度95%
from learning both CISC and RISC assembly languages. As mentioned before, Pentium and MIPS processors are used to cover CISC and RISC processors. . The first edition used MASM/TASM assemblers. In ...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
shawn_xu
2017-09-06
我评论一下哈，正在看
rhinosinlove
粉丝: 4
资源:
49
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
SW建模格式图.zip
HYD1-rev8B -液压库培训（中文）.pdf
AMESim新手应如何使用自带帮助文档.pdf
Amesim入门基本操作.pdf
AMESim热气动库资料.pdf
车用驱动电机技术发展.pptx
PID控制及在汽车上的应用.ppt
Solidworks2022安装流程文件版指引.pdf
Fortran语言入门与实践：从基础到高级应用.zip
多机调度问题贪心算法：理论探索与实践应用.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
4星 · 超过85%的资源 需积分: 15 79 下载量 107 浏览量
2017-02-25
19:58:40
上传
评论 3
收藏 2MB PDF 举报 
