📈
wiki
  • Introduction
  • Books
    • Technical books
      • Elements of Programming
    • Psychology books
      • Mindset
  • Computer Science
    • Data Structures
      • Skip Lists
    • Algorithms
      • Hashing
      • Eller's Algorithm
    • Formal verification
      • Coq
      • Lean
      • TLA+
    • Garbage Collection
  • Programming
    • Functional programming
      • Functional data structures
      • Algebraic Effects
      • Dependent Types
        • Agda
        • Idris
      • Continuations
      • Category Theory
      • Total functional programming
      • Uniqueness Typing
      • GADT
      • Tagless Final
    • Concurrent Programming
      • Mutex
      • Semaphores
    • Parallel Programming
    • Systems Programming
      • Tagged pointers
    • Unicode
  • Competitive Programming
  • Source control
    • Git
  • Programming languages
    • Java
      • Java Garbage Collection
      • Java Performance
      • Java Modules
      • Graal
      • Java libraries
        • Spring
          • Spring Cloud
        • Guava
        • JUnit 5
        • Hamcrest
        • Logging
        • Google Auto
        • Lombok
        • JOOQ
        • duct-tape
        • args4j
        • Netty
    • Scala
      • Dotty
      • Specialization
      • Benchmarking Scala
      • Scala libraries
        • ZIO
    • Haskell
      • Haskell tools
        • Haskell tools
    • Lisp
      • Lisp books
    • Rust
      • Rust Async
    • C++
      • C++ libraries
        • Boost
        • Poco
        • Abseil
        • facebook folly
        • Intell TBB
      • C++ tools
        • Valgrind
        • CMake
        • Bazel
      • C++ books
    • C
      • C libraries
      • C books
    • Python
      • Testing
      • Cython
      • Python performance
      • Python libraries
        • requests
        • httpx
        • boto3
      • Python tools
        • pyenv
        • Pipenv
        • mypy
      • Python Cookbook
    • Prolog
      • Prolog Cookbook
    • Clojure
      • Clojure Cookbook
    • Julia
      • Julia libraries
        • DataFrames
  • Networking
    • TCP
    • UDP
    • QUIC
  • Mindfullness
    • Mediatation
      • Samatha
      • Vipassana
    • Flow
  • LLVM
    • Clang tools
  • Operating systems
    • Securing operating systems
      • Capsicum
  • Linux
    • Packaging
    • RPM
    • Deblian
      • Linux tools
    • APT package manager
    • sxhkd
    • playerctl
    • fish
    • w3m browser
      • NixOS
    • Nix package manager
  • macOS
    • macOS tools
      • Hammerspoon
  • Windows
    • Windows tools
      • AutoHotkey
  • CLI
    • tmux
    • screen
    • ripgrep
    • fd
    • bat
    • tldr
    • install
    • chflags
  • Technology
    • Search
      • Google
      • DuckDuckGo
      • Algolia
      • Elastic search
  • Databases
    • MySQL
    • PostgreSQL
    • Oracle
  • Text editors
    • Emacs
      • Emacs plugins
      • Org mode
    • Vim
      • Vim plugins
      • Text objects
    • Sublime Text
  • IDEs
    • IntelliJ IDEA
      • IDEA plugins
        • IdeaVim
  • Philosophy
    • Stoicism
      • Parallels with Buddhism
    • Buddhist philosophy
  • Learning
    • Spaced Repetition
      • Anki
  • History
    • People
      • Benjamin Franklin
  • Buddhism
    • Theravada
      • Dhammapada
      • Eight Worldly Concerns
    • Mahayana
      • Zen
        • Zen Koans
  • Psychology
    • CBT
    • Cognitive biases
  • Logic
    • Classical logic
    • Intuitionistic logic
    • Logical fallacies
  • Literature
    • Western literature
    • Oriental literature
      • Bhagavad Gita
    • Mythology
    • Aphorisms
  • Research
    • Problem solving
    • Questioning
    • Blogs
  • 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
      • Euclid and Pāṇini
  • Courses
    • Computer Science
  • Devops
    • Ansible
    • Puppet
    • TerraForm
  • Life
    • Happiness
    • Journaling
  • Meetups
    • Rust Meetups
      • LDN Talks January, 2020
    • Scala Meetups
      • Scala in the City - January, 2020
    • Papers We Love
      • CREST/PWL Special Event - January, 2020
  • Sports
    • Running
      • Running books
      • Running shoes
    • Chess
      • Chess openings
    • Hiking
      • Outdooraholics
        • Box Hill, Surrey
  • Music
    • Classical
      • Western classical music
      • Indian classical music
    • Popular music
    • Sinhala music
    • Indian music
  • Podcasts
  • Movies
  • TV Series
  • Log
    • 2019 logs
      • September
      • October
      • November
      • December
    • 2020 logs
      • January logs
      • February logs
      • March logs
      • April logs
      • May logs
      • June logs
  • TIL
    • TIL in 2020
      • January
      • February
      • March
      • April
      • May
      • June
      • October
      • November
Powered by GitBook
On this page
  • Operating systems
  • Software Engineering
  • Data Structures and Algorithms
  • Functional programming
  • Concurrency
  • Programming Languages
  1. Papers

Computer Science

PreviousPapersNextHigher-order logic programming in Prolog

Last updated 5 years ago

  • Where to find good Computer Science papers?

Operating systems

Software Engineering

Data Structures and Algorithms

Functional programming

Concurrency

Programming Languages

-

-

-

https://github.com/papers-we-love/papers-we-love
The Case for Writing Network Drivers in High-Level Languages
https://news.ycombinator.com/item?id=20945819
DTrace
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
Adaptive Software Cache Management
Total Functional Programming
notes
Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask
notes
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