加藤 暢 | 岡山大学工学部

スポンサーリンク

概要

• 加藤暢の詳細を見る
• 同名の論文著者
• 岡山大学工学部の論文著者

関連著者

• 加藤 暢

  岡山大学工学部

• 村上 昌己

  岡山大学工学部

• 村上 昌已

  岡山大学工学部

著作論文

• 分散環境に置かれたGHCプログラムの意味論のための意味領域
• 無限実行プロセスを生成するGHCプログラムに対するOR-Compositionalな意味論

スポンサーリンク