Generic record combinators with static type checking


Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete records of varying structure. Traditionally, generic record combinators can only be implemented in dynamically typed languages. In this paper, we present a record system for… (More)
DOI: 10.1145/1836089.1836108


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics