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

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

略歴

研究

• 指定的λ計算
• トランスフォーメーション計算

論文リスト

その他

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

電子メールを下さい.