🎓

CS READING CLUB

Draco Dormiens Nunquam Titillandus

Where classic computer science papers meet modern minds.

JOIN THE CLUB

Featured Papers

1966

The Next 700 Programming Languages

P. J. Landin

A seminal paper proposing a unified framework for programming language design, introducing concepts that would influence functional programming for decades to come.

1965

A Correspondence Between ALGOL 60 and Church's Lambda-notation

P. J. Landin

Establishing the connection between practical programming languages and lambda calculus, bridging the gap between theory and practice.

1978

Can Programming Be Liberated from the von Neumann Style?

John Backus

Turing Award lecture challenging the imperative programming paradigm and advocating for functional programming approaches.

CONTRIBUTE

Add Your Paper

Community Driven

Have a classic paper that shaped your thinking? Submit a pull request to share it with the community.

Our Contributors

Summoning contributors from the GitHub realm...

Library