Row types
Please expand.
See also
References
- A system with row types, row polymorphism, and a type inference algorithm is described in
@article{wand_1991,
title = {Type inference for record concatenation and multiple inheritance},
volume = {93},
doi = {10.1016/0890-5401(91)90050-C},
pages = {1--15},
number = {1},
journaltitle = {Information and Computation},
shortjournal = {Information and Computation},
author = {Wand, Mitchell},
date = {1991},
}