Join Literal

Read-alikes

Books like Correctness Proof for the WAM with Types

Readers who loved Correctness Proof for the WAM with Types by Egon Börger and Christoph Beierle picked these up next.

1984
1984
George Orwell
Project Hail Mary
Project Hail Mary
Andy Weir
Yesteryear
Yesteryear
Caro Claire Burke
Why Men Marry Bitches
Why Men Marry Bitches
Sherry Argov
God of Wrath
God of Wrath
Rina Kent
Crime Et Chatiment
Crime Et Chatiment
Fyodor Dostoevsky
The Complete Novels of George Orwell
The Complete Novels of George Orwell
George Orwell
Normal People
Normal People
Sally Rooney
Istoria Secretă
Istoria Secretă
Donna Tartt
Les sept maris d'Evelyn Hugo
Les sept maris d'Evelyn Hugo
Taylor Jenkins Reid
The Wedding People
The Wedding People
Alison Espach
The Bell Jar LP
The Bell Jar LP
Sylvia Plath

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here