#row_polymorphism
Row polymorphism
Kind of polymorphism
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. A row-polymorphic type system and proof of type inference was introduced by Mitchell Wand.
Thu 8th
Provided by Wikipedia
This keyword could refer to multiple things. Here are some suggestions:
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.