住井 英二郎 | 東京大学大学院情報理工学系研究科

スポンサーリンク

概要

• 同名の論文著者
• 東京大学大学院情報理工学系研究科の論文著者

関連著者

• 住井 英二郎

  東京大学大学院情報理工学系研究科

• 住井 英二郎

  東北大学大学院情報科学研究科

• 小林 直樹

  東京大学大学院理学系研究科

• 小林 直樹

  東北大学大学院情報科学研究科

• 小林 直樹

  東京大学大学院新領域創成科学研究科

• 五十嵐 淳

  京都大学大学院情報学研究科

• 米澤 明憲

  東京大学大学院情報理工学系研究科コンピュータ科学専攻

• 五十嵐 淳

  東京大学大学院総合文化研究科

• 住井 英二郎

  ペンシルバニア大学コンピュータ情報科学科

• 住井 英二郎

  ペンシルバニア大学

• 大岩 寛

  東京大学

• 米澤 明憲

  東京大学理学部情報科学科

• 大岩 寛

  東京大学大学院情報理工学系研究科

• 米澤 明憲

  東京大学大学院情報理工学系研究科

もっと見る 閉じる

著作論文

• TACS 2001およびManfred Paul賞授賞式
• 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
• POPL/PEPM'99会議報告
• 安全性を保証するANSI-C実行系の実装手法(プログラミング及びプログラミング言語)
• CSFW-14報告

スポンサーリンク