[ 数理解析研究所 | 関数型言語グループ ] ......................

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

略歴

研究

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

学会活動

• FLOPS 2004: International Symposium on Functional and Logic Programming, Nara, April 7-9, 2004.

論文リスト(英語)

日本語での資料 ・書籍

• 第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, 強い型体系を持つ関数・手続き型メタ言語.

電子メールを下さい.