SML# - Foundations Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

SML#の種々の特徴は,ML系言語のための型理論の伝統の上に,以下を含む我々の独自の基礎研究成果を基に実現されている.

# [[レコード多相性の理論|Foundations/010]]
# [[ランク1多相性の理論|Foundations/020]]
# データベース演算の多相型理論
# JAVAとの相互運用のための型理論
# 高階の関数の相互運用に関する型理論
# 自然なデータ表現のための型理論
# 論理学に基づくコンパイル理論