dcreager.net

Types » Row polymorphism

[Hubers2023] Generic Programming with Extensible Data Types

..