関数型言語の解析・検証・効率的実行のための書換え系理論の研究

書籍データ

平成14年度〜平成17年度科学研究費補助金(基盤研究(C))研究成果報告書

著者名：酒井正彦 [ほか著]他の作品を見る

出版社：者不明

発売日：2006.4

v, 105p 30cm

ISBN：