Computer Science Resources

The following is a list of material (papers, videos, articles, etc.) on subjects I’m studying.

Algorithms

Category Theory for Computer Science

Compilers and Parsers

Computing / Computability

Concurrency / Distributed / Parallelism

Contracts

Data Structures

Database Theory

Effect Systems

Evaluation

Folds

Functional Programming

Functional Reactive Programming (FRP)

General

I/O

Laws / Theorems

Logic

Logic programming

Mathematics

Modularization

Operating Systems

Philosophy of the Science

Programming Language Theory (PLT)

Polymorphism

Practice

Quantum Computing

Security

Software Design

Software Engineering Anecdotes

Type Theory

Uniqueness