PLS Lab

Row types

Please expand.

See also

References

Wand, Mitchell. ‘Type Inference for Record Concatenation and Multiple Inheritance’. Information and Computation 93, no. 1 (1991): 1–15. https://doi.org/10.1016/0890-5401(91)90050-C.
@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},
}