検索結果 1 - 2 結果 / 2 検索語 'Tofte, Mads', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Proof, language, and interaction essays in honour of Robin Milner

    出版事項 2000
    全文の入手
    全文の入手
    Electronic Resource

    Proof, language, and interaction essays in honour of Robin Milner
  2. 2

    The definition of standard ML 著者: Milner, Robin, Harper, Robert, Tofte, Mads

    出版事項 1997
    全文の入手
    全文の入手
    Electronic Resource

    The definition of standard ML

検索ツール: