Thinking with Types. Type-Level Programming in Haskell
If you like book Thinking with Types. Type-Level Programming in Haskell here is the list of books you may also like
Buy this book on AmazonSimilar books (20)
-
-
The Time Machine
“I’ve had a most amazing time....”
Buy this book on Amazon
So begins the Time Traveller’s astonishing firsthand account of his journey 800,000 years beyond his own era—and the story that launched H.G. Wells’s successful caree… -
Real World Haskell
Buy this book on Amazon -
Seeing Like a State: How Certain Schemes to Improve the Human Condition Have Failed
Compulsory ujamaa villages in Tanzania, collectivization in Russia, Le Corbusier’s urban planning theory realized in Brasilia, the Great Leap Forward in China, agricultural "modernization" in the Trop…
Buy this book on Amazon -
Domain Modeling Made Functional: Tackle Software SPlexity with Domain-Driven Design and F#
You want increased customer satisfaction, faster development cycles, and less wasted work. Domain-driven design (DDD) combined with functional programming is the innovative combo that will get you the…
Buy this book on Amazon -
Software Engineering at Google: Lessons Learned from Programming Over Time
The approach to and understanding of software engineering at Google is unlike any other company. With this book, you'll get a candid and insightful look at how software is constructed and maintained b…
Buy this book on Amazon -
Leviathan Wakes (The Expanse, #1)
Humanity has colonized the solar system—Mars, the Moon, the Asteroid Belt and beyond—but the stars are still out of our reach.
Buy this book on Amazon
Jim Holden is XO of an ice miner making runs from the rings of Saturn to t… -
Caliban’s War (The Expanse, #2)
We are not alone. On Ganymede, breadbasket of the outer planets, a Martian marine watches as her platoon is slaughtered by a monstrous supersoldier. On Earth, a high-level politician struggles to prev…
Buy this book on Amazon -
Abaddon’s Gate (The Expanse, #3)
Abaddon's Gate is the third book in the New York Times bestselling Expanse series.
Buy this book on Amazon
For generations, the solar system - Mars, the Moon, the Asteroid Belt - was humanity's great frontier. Until now. The… -
The Golden Compass (His Dark Materials, #1)
Lyra is rushing to the cold, far North, where witch clans and armored bears rule. North, where the Gobblers take the children they steal--including her friend Roger. North, where her fearsome uncle As…
Buy this book on Amazon -
Cibola Burn (The Expanse, #4)
The fourth novel in James S.A. Corey’s New York Times bestselling Expanse series
Buy this book on Amazon
The gates have opened the way to thousands of habitable planets, and the land rush has begun. Settlers stream out from h… -
Babylon’s Ashes (The Expanse, #6)
The sixth book in the New York Times bestselling Expanse series.
NOW A MAJOR TV SERIESA revolution brewing for generations has begun in fire. It will end in blood.
The Free Navy - a vio…
Buy this book on Amazon -
Nemesis Games (The Expanse, #5)
The fifth novel in Corey's New York Times bestselling Expanse series--now being produced for television by the SyFy Channel!
Buy this book on Amazon
A thousand worlds have opened, and the greatest land rush in human history h… -
Persepolis Rising (The Expanse, #7)
The seventh novel in James S. A. Corey's New York Times bestselling Expanse series--now a major television series.
Buy this book on Amazon
The Expanse Leviathan Wakes, Caliban's War, Abaddon's Gate, Cibola Burn, Nemesis G… -
Leviathan Falls (The Expanse, #9)
The Laconian Empire has fallen, setting the thirteen hundred solar systems free from the rule of Winston Duarte. But the ancient enemy that killed the gate builders is awake, and the war against our u…
Buy this book on Amazon -
Tiamat's Wrath (The Expanse, #8)
Thirteen hundred gates have opened to solar systems around the galaxy. But as humanity builds its interstellar empire in the alien ruins, the mysteries and threats grow deeper.
Buy this book on Amazon
In the dead systems wher… -
Introduction to Algorithms
A comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, machine learning, and other topics.
Buy this book on Amazon
Some books on algorithms are rigorous b… -
-
A Philosophy of Software Design
This book addresses the topic of software how to decompose complex software systems into modules (such as classes and methods) that can be implemented relatively independently. The book first introduc…
Buy this book on Amazon -
There Is No Antimemetics Division
An antimeme is an idea with self-censoring properties; an idea which, by its intrinsic nature, discourages or prevents people from spreading it.Antimemes are real. Think of any piece of information wh…
Buy this book on Amazon