- Introduction
- Data types a la carte
- Freer Monads, More Extensible Effects
- An O(ND) Difference Algorithm and its Variations
- RWS-Diff: Flexible and Efficient Change Detection in Hierarchical Data
- Type-Directed Diffing of Structured Data
- The pq-Gram Distance between Ordered Labeled Trees
- Efficient and Flexible Incremental Parsing
- Abstracting Definitional Interpreters
- Deep Code Comment Generation