2012年12月06日

ちなみに

ML/LL Advent Calendarのネタとしてはいくつか思いついたものがあって、

  • Linear Logic
  • Linear Lisp(別のAdvent Calendarで出たようなので避けて賢明か)
  • Module Type(Coqの)
  • Moonlit Lo...げふんげふん

なんだったか忘れたね。

posted by chiguri at 20:32| Comment(0) | TrackBack(0) | 雑多
この記事へのコメント
コメントを書く
お名前:

メールアドレス:

ホームページアドレス:

コメント:

この記事へのトラックバックURL
http://blog.sakura.ne.jp/tb/73554507

この記事へのトラックバック