情報処理学会 プログラミング研究会
第9回 1996-09-03 奈良先端科学技術大学院大学
(9-1) コンパクト集合からなる de Bakker-Zucker プロセス領域の特徴付け
堀田 英一 (NTT)
(9-2) 出現によるラムダ計算の定義
平田 圭介,山本 章博 (北海道大学)
(9-3) call/cc から call/ioc への自動変換
大谷 友佳子 (豊橋技術科学大学),湯淺 太一,小宮 常康 (京都大学)
(9-4) 条件付き項書換え系の健全性と完全性
山田 俊行,Aart Middeldorp,井田 哲雄 (筑波大学)
(9-5) 簡潔な並行言語 L0: 論理型と関数型プログラミングを越えて
平田 圭二,原田 康徳,山崎 憲一 (NTT)