Lars Birkedal

一価の参照型とそれがプログラミング言語に与える影響についての考察。

高階の状態を持つソフトウェアのために、推論を強化するプログラム論理を紹介します。

複雑な確率環境でプログラムの終了を確認するための新しい方法。

複雑なプログラムのためのエラークレジットを使った新しいエラーバウンドのアプローチ。

高階の分離論理を使って確率的プログラムの予想コストを理解する新しいアプローチ。

高次確率プログラムの信頼性を確保する新しいアプローチ。

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