Papers tagged computer science theory A Unified Theory of Garbage Collection Buridan's Principle Impossibility of Distributed Consensus with One Faulty Process Propositions as Types Viewing Control Structures as Patterns of Passing Messages Browse All Keywords By Category