Lars Birkedal

再帰とランダム性を使ったプログラミング言語を考えるためのフレームワーク。