ポリモーフィズム
ロー多相は、型理論におけるレコード型(record type)の直積的または総和的な可変長要素の構造分析から導き出された多態性であり、動的型付けおよび動的プログラミングを説明できる形式論理として紹介される。構造的型付け (structural typing) の多態性(多相性)はロー多相に分類されることがある。構造的型付けに類似したダックタイピングの説明にも適している。
日本語では行多相と訳されることもあれば、列多相と訳されることもある。