π
π
π
π
wiki
π‘
π
π¦
Searchβ¦
Introduction
Books
Computer Science
Programming
Competitive Programming
Source control
Programming languages
Networking
Mindfullness
LLVM
Operating systems
Linux
macOS
Windows
CLI
Technology
Databases
Text editors
IDEs
Philosophy
Learning
History
Buddhism
Psychology
Logic
Literature
Research
Papers
Computer Science
Higher-order logic programming in Prolog
The Rise of Worse is Better
Advantages and Disadvantages of a Monolithic Repository
Coccinelle
Total Functional Programming
Scalable Component Abstractions
Psychology
Literature
Courses
Devops
Life
Meetups
Sports
Music
Podcasts
Movies
TV Series
Log
TIL
Powered By
GitBook
Computer Science
Where to find good Computer Science papers?
β
https://github.com/papers-we-love/papers-we-love
β
Operating systems
β
The Case for Writing Network Drivers in High-Level Languages
- Some interesting discussions regarding these results, -
https://news.ycombinator.com/item?id=20945819
β
DTrace
β
Software Engineering
β
The Rise of Worse is Better - Richard P. Gabriel
-
notes
β
β
Advantages and Disadvantages of a Monolithic Repository
-
notes
β
β
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
-
notes
β
β
Semantic Patches for Java Program Transformation
-
notes
β
Data Structures and Algorithms
β
Adaptive Software Cache Management
β
Functional programming
β
Total Functional Programming
-
notes
β
Concurrency
β
Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask
-
notes
β
Programming Languages
β
Stacked Borrows - An Aliasing Model for Rust
β
β
Java and Scala's type system is unsound
β
Scalable Component Abstractions
-
notes
β
β
A Path To DOT: Formalizing Fully Path-Dependent Types
β
Previous
Papers
Next
Higher-order logic programming in Prolog
Last modified
2yr ago
Copy link
Contents
Operating systems
Software Engineering
Data Structures and Algorithms
Functional programming
Concurrency
Programming Languages