PL
Foundations and Applications of Intersection and Union Types (PDF)
FP
Basic Lambda Calculus Programming (feat. Y combinator)
FP
Abstractions for Search Algorithms
FP
The Construction of the Iteration Combinator - LCaC § 4C, Theorem 4.20
FP
Church Encoding Note
FP
Message Passing Perspective on Bool - SICP § 2.4.3 | Generic | Data and Functions
FP
Huffman Trees in Haskell | Structure and Destructure of Compound Data
FP
Nested Mapping Examples Implemented in Haskell - SICP § 2.2.3 | List Monad
Xplore
Slides, But in Terminal
Xplore
Context & Syntax/Semantic Analysis
1
2