SML＃の種々の特徴は，ML系言語のための型理論の伝統の上に，以下を含む我々の独自の基礎研究成果を基に実現されている． レコード多相性の理論 ランク１多相性の理論 データベース演算の多相型理論 JAVAとの相互運用のための型理論 高階の関数の相互運用に関する型理論 自然なデータ表現のための型理論 論理学に基づくコンパイル理論
SML# - SML#の理論的基礎
SML＃の種々の特徴は，ML系言語のための型理論の伝統の上に，以下を含む我々の独自の基礎研究成果を基に実現されている． レコード多相性の理論 ランク１多相性の理論 データベース演算の多相型理論 JAVAとの相互運用のための型理論 高階の関数の相互運用に関する型理論 自然なデータ表現のための型理論 論理学に基づくコンパイル理論
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
