 | This article provides insufficient context for those unfamiliar with the subject. (October 2018) |
In programming language type theory, row polymorphism is a kind of polymorphism that allows one to write programs that are polymorphic on row types such as record types and polymorphic variants.[1] A row-polymorphic type system and proof of type inference was introduced by Mitchell Wand.[2][3]
- ^ "OCaml - Polymorphic variants". v2.ocaml.org. Retrieved 2022-12-03.
- ^ Wand, Mitchell (June 1989). "Type inference for record concatenation and multiple inheritance". Proceedings. Fourth Annual Symposium on Logic in Computer Science. pp. 92–97. doi:10.1109/LICS.1989.39162.
- ^ Wand, Mitchell (1991). "Type inference for record concatenation and multiple inheritance". Information and Computation. 93 (Selections from 1989 IEEE Symposium on Logic in Computer Science): 1–15. doi:10.1016/0890-5401(91)90050-C. ISSN 0890-5401.