↓
[Hubers2023] Generic Programming with Extensible Data Types
..
This page is also available via Gemini at gemini://dcreager.net/types/row-polymorphism.gmi