976コメント334KB

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

■ このスレッドは過去ログ倉庫に格納されています

0413デフォルトの名無しさん

NGNG

denotational semanticsを使えば、MLでも schemeでも Cでも
モデル化できるのでは?

■ このスレッドは過去ログ倉庫に格納されています