Papers We Love is a user on mstdn.io. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Papers We Love @paperswelove@mstdn.io

A Symbolic Analysis of Relay and Switching Circuits - Claude Shannon

PDF: buff.ly/2qjuBNr

mstdn.io/media/xQt5EIA-aPeW588

Learning concepts through conversations in spoken dialogue systems Show more

Bootstrapping semantic parsers from conversations Show more

Elements of a Relational Theory of Datatypes Show more

A tutorial on the universality and expressiveness of fold Show more

A commutative replicated data type for cooperative editing Show more

CRDTs: Consistency without concurrency control Show more

Designing a commutative replicated data type Show more

Verified Peephole Optimizations for CompCert Show more

Improving the Static Analysis of Embedded Languages via Partial Evaluation Show more

Improving Haskell Types with SMT Show more

Type Systems as Macros Show more

Paper: Type Tailoring Show more

Compilers: Analysis of Pointers and Structures Show more

Video: Failure Detectors Show more