PL
Foundations and Applications of Intersection and Union Types (PDF)
FP
基础的 Lambda 演算编程（feat. Y combinator）
FP
搜索算法的抽象
FP
迭代组合子的构造 - LCaC § 4C, Theorem 4.20
FP
Church Encoding 简单笔记
FP
Message Passing 视角下的 Bool - SICP § 2.4.3 | 泛型 | 数据与函数
FP
Huffman 树的 Haskell 实现 | 组合数据的结构与解构
FP
Nested Mapping Examples Implemented in Haskell - SICP § 2.2.3 | List Monad
Xplore
杂谈向：为什么编译需要做语义分析 / 上下文（Context）与语法语义分析
Xplore
在终端里播放幻灯片
1
2