SML#の理論的基礎

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

  1. レコード多相性の理論
  2. ランク1多相性の理論
  3. データベース演算の多相型理論
  4. JAVAとの相互運用のための型理論
  5. 高階の関数の相互運用に関する型理論
  6. 自然なデータ表現のための型理論
  7. 論理学に基づくコンパイル理論
Last modified:2007/12/01 21:19:39
Keyword(s):
References: