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