Study note

Practical Foundations for Programming Languages

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Compilers / PL
Category: 编程语言与函数式编程
Source: book.douban.com
Vault note: library/books/compilers/Practical-Foundations-for-Programming-Languages-8c31a87aec13c64f.md

Robert Harper 从类型论视角介绍程序语言基础，不按语言分类法罗列，而是强调构成各种程序语言的基本构件。

把程序语言理论讲成“语言如何生成”的基础体系，适合从语法、类型、动态语义和语言机制层面系统补 PL 基础。

Robert Harper；2012-11。

Category Theory Using Haskell : An Introduction with Moggi and Yoneda Books · 编程语言与函数式编程
Essentials of Programming Languages Books · 编程语言与函数式编程
Functional Programming in Lean Books · 编程语言与函数式编程
Get Programming with Haskell Books · 编程语言与函数式编程
Haskell Programming from First Principles Books · 编程语言与函数式编程
Haskell趣学指南 Books · 编程语言与函数式编程

Loading comments...