Comment on Notes on the Derivatives of Regular Types (2014)(FP) [pdf]Comments−gataneOP1yA 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
Comments
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