Notes on the Derivatives of Regular Types (2014)(FP) [pdf]

by gataneon 1/16/2025, 4:24 AMwith 1 comments

by gataneon 1/16/2025, 4:28 AM

A more theoretical read on the same topic:

- Differentiating Data Structures (2005) http://www.strictlypositive.org/dfordata.pdf

- Performance analysis of Zippers (2020) https://arxiv.org/pdf/1908.10926