Pedro H. Azevedo de Amorim

確率的関数型プログラミングのコストを理解するための新しいフレームワーク。