bibliographer - David McAllester

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

MathZero, The Classification Problem, and Set-Theoretic Type Theory David McAllester [github]

Relating Probabilistic Grammars and Automata Steven Abney David McAllester Fernando Pereira [github]

On the Cubic Bottleneck in Subtyping and Flow Analysis Nevin Heintze David McAllester [github]

Case-factor diagrams for structured probabilistic modeling David McAllester Michael Collins Fernando Pereira [github]

Linear-time subtransitive control flow analysis Nevin Heintze David McAllester [github]

An indexed model of recursive types for foundational proof-carrying code Andrew W. Appel David McAllester [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]