Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and variant subtyping, record extension, and modular composition of case branches. We extend row typing to capture generic program...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo ICFP; s. 356 - 384
Hlavní autoři:	Hubers, Alex, Morris, J. Garrett
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 30.08.2023
Témata:	Data types and structures Software and its engineering Theory of computation Type theory qualified types generic programming row polymorphism row types extensible data types
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!