[
京都大学
|
数理解析研究所
|
情報科学
] ......................
関数型言語研究グループ
京都の
λ文字山
数研では正式な関数型言語研究グループはありませんが、 関数型言語に興味を持つ有志が週に一度、ローカルミーティング を行なっています。
会議情報
FLOPS 2008
TLCA 2005
FLOPS 2004 2004/04/07-09
PPL 2003ワークショップ 2003年3月5日〜7日
(
論文集
)
PPL 2001ワークショップ 2001年3月21〜23日
(
論文集
)
ソフトウェア
ここで配布または再配布されるプログラミング言語・ソフトウェア
メンバー
長谷川 真人
勝股 審也
今までのメンバー
中田 景子
Jacques Garrigue
角谷 良彦
西村 進
細谷 晴夫
中野 圭介
大堀 淳
南出 靖彦
香川 考司
橋本 政朋
古瀬 淳
JG
2008.01.31.