2006-07-03から1日間の記事一覧

Polymorphic record calculus

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