Awesome Cmpouter Science Papers

A list of papers and books related to Distributed systems, Programming language theory, Software architecture and friends

Programming languages

• Why Functional Programming Matters [📄]
• Programming Paradigms for Dummies[📄]
• A History of Haskell: being lazy with class [📄 & 📹]
• The Next 700 Programming Languages [📄]
• Composable memory transactions [📄]

1. λ Functional programming

• Functional pearl it’s easy as 1,2,3 [📄]

Distributed systems

• [series] Patterns of Distributed Systems [📄]
• Brewer’s conjecture and the feasibility of consistent, available, partition-tolerant web services [📄]
• Large-scale cluster management at Google with Borg [📄]
• Keeping CALM: When Distributed Consistency is Easy [📄]

Software architecture

• The Software Architecture Chronicles by Herberto [🔗]

Miscellaneous

• Awesome distributed transactions
• awesome-distributed-systems
• Readings in distributed systems by christopher meiklejohn
• Distributed systems theory for the distributed systems engineer by Henry Robinson
• Designing Data-Intensive Applications References
• Great Works in Programming Languages
• Linux Performance
• A List of Foundational Haskell Papers
• Tutorial Papers in Functional Programming
• Awesome distributed systems by GOJEK
• MSR India 2012 Summer School on Distributed Algorithms, Systems, and Programming
• DrTLAPlus

Books

• Software Foundations
• Programming Language Foundations in Agda
• The Architecture of Open Source Applications
• Security Engineering - A Guide to Building Dependable Distributed Systems
• Thinking Forth