関数型プログラミング言語Haskell

関数型プログラミング言語Haskell at TECH

303:291
02/07/17 23:57
>>294
国立奈良工業高等専門学校の先生のページに
論理型言語ですが時相と線形理論に関する論文載っていました。
URLﾘﾝｸ(kaminari.scitec.kobe-u.ac.jp)
少し判った気がします。
でも、これを如何いうふうに関数型言語に輸入すればいいのやら。

あと、下の本知っている人いますか？
線型論理入門竹内外史
URLﾘﾝｸ(www.amazon.co.jp)

次ページ

続きを表示

1を表示