Row 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.
- Comment
- enIn 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.
- Has abstract
- enIn 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.
- Is primary topic of
- Row polymorphism
- Label
- enRow polymorphism
- Link from a Wikipage to another Wikipage
- Category:Polymorphism (computer science)
- Mitchell Wand
- Polymorphism (computer science)
- Programming language
- Record (computer science)
- Type theory
- SameAs
- 9GWbS
- Q60794446
- Subject
- Category:Polymorphism (computer science)
- WasDerivedFrom
- Row polymorphism?oldid=1082815613&ns=0
- WikiPageLength
- 4157
- Wikipage page ID
- 58874832
- Wikipage revision ID
- 1082815613
- WikiPageUsesTemplate
- Template:Context
- Template:Expert needed
- Template:Short description