[ 名古屋大学多元数理科学研究科 | 関数型言語グループ ] ......................

雅利賀 惹玖／ジャック・ガリグ

略歴

講義情報

---

研究

• 指定的λ計算
• トランスフォーメーション計算
• 関数型言語 Objective Caml に 関する仕事
  • ラベル付引数と省略可能引数の型付けおよびコンパイル
  • 多相ヴァリアントの型付け

学会活動

• The 2007 ACM SIGPLAN Workshop on ML, Freiburg, Germany
• The 2008 International Workshop on Foundations of Object-Oriented Languages, San Francisco, California
• FLOPS 2008: 9th International Symposium on Functional and Logic Programming, Ise , Japan (co-chair)

論文リスト(英語)

日本語での資料 ・書籍

• PPL2005講演資料 「OCaml NG集」. PDF版
• 第1回PPLサマースクール講義資料 「OCamlによるプログラミング」
• Jacques GARRIGUE・ 西村 進・中島 玲二「共有アプリケーション のための同期実行モデル」
  日本ソフトウェア科学会第20回大会, 2003年9月. PDF版
• 大堀・ Garrigue・ 西村「コンピュータサ イエンス入門：アルゴリズムとプログラミング言語」岩波書店, 1999年5月.

その他

• TeCoAS, 共著・共読支援システム.
• LablGTK と LablGL はOCamlのための強く型付けさ れたGTK+とOpenGLのインターフェースで ある.
• JMMM (古瀬淳と協力). François Rouaix が 関数型言語CSLで書いたWWWブラウザの日本語版.
• Objective Label. Objective Caml を指定・随意ラベルとvariantで拡張した言語。新しいObjective Caml にはこの機能および LablTk・OCamlBrowserが含まれている。
• FIML, 強い型体系を持つ関数・手続き型メタ言語.

電子メールを下さい.