Jacques Garrigue : Home Page[ 名古屋大学多元数理科学研究科 ] ...................... 雅利賀 惹玖／ジャック・ガリグ 連絡先 : garrigue at math.nagoya-u.ac.jp 略歴 名古屋大学大学院多元数理 科学研究科で教授。 2004年9月まで京都大学数理解 析研究所で助手。 95年3月まで東京大学の米澤研究室 で博士課程。 パリ高等師範学校の卒業生。 講義・オフィスアワー 論文リスト(英語) プロジェクト COCTI: Certifiable OCaml Type Inference 研究 研究分野はλ計算や型理論などを含む。特に次のテーマを研究して来ました。 指定的λ計算 トランスフォーメーション計算 関数型言語 Objective Caml に 関する仕事 ラベル付引数と省略可能引数の型付けおよびコンパイル 多相ヴァリアントの型付 け、その応用、そし て型式的な証明
