Study note

Cornell CS3110 Textbook

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Compilers / PL
Category: 编译器设计与实现
Source: cs3110.github.io
Vault note: library/books/compilers/Cornell-CS3110-Textbook-c907f0756ca71828.md

Cornell CS 3110 的 OCaml 教材《OCaml Programming: Correct + Efficient + Beautiful》，以 OCaml 函数式编程和数据结构为主线，强调语义、软件工程、正确性和效率。

覆盖 OCaml 基础、类型和数据、模块系统、并发、规格与测试、结构归纳、数据结构、解释器、解析、类型检查和类型推断，是函数式编程和语言实现的扎实课程资料。

Michael R. Clarkson 等。

Loading comments...