Papers

Computer Science

• AnchorHash: A Scalable Consistent Hash
• FSST: Fast Random Access String Compression
• Linear Logic

Distributed Systems

• Distributed Transactional Systems Cannot Be Fast

Functional Programming

• Total Functional Programming

Types

• Linearity and Uniqueness: An Entente Cordiale
• Uniqueness Typing Simplified
  • LtU Discussion
• Haskell’s overlooked object system