Type-directed compilation of ML supporting interoperable memory management system ML系多相型言語において相互運用可能なメモリー管理を実現する型主導コンパイル方式の研究

この論文をさがす

著者

    • Duc Huu Nguyen ドゥク フー グェン

書誌事項

タイトル

Type-directed compilation of ML supporting interoperable memory management system

タイトル別名

ML系多相型言語において相互運用可能なメモリー管理を実現する型主導コンパイル方式の研究

著者名

Duc Huu Nguyen

著者別名

ドゥク フー グェン

学位授与大学

北陸先端科学技術大学院大学

取得学位

博士 (情報科学)

学位授与番号

甲第381号

学位授与年月日

2006-03-22

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000437360
  • NII著者ID(NRID)
    • 8000000438687
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000009405378
  • データ提供元
    • NDL ONLINE
ページトップへ