Papers A verified cost analysis of joinable red-black trees. Runming Li, Harrison Grodin, and Robert Harper. October, 2023. Logical Relations for Session-Typed Concurrency. Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao. July 2023. Decalf: A Directed, Effectful Cost-Aware Logical Framework. Harrison Grodin, Robert Harper, Yue Niu, and Jonathan Sterling. July 2023. (Repository: D
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く