Polymorphic record calculus

多相レコードとか多相レコード型とか多相型レコードとか多相レコード計算とか多相型レコード計算とかレコード多相性とか、日本語にするとどうなってどの言葉がどの概念に対応して、一般的に使われているのがどれかわからなくなって泥沼。

困り果ててGoogleしてみれば、このにっきがトップで出てきてもうだめぽ