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)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.