The Little Prover
By
Daniel P. Friedman
Daniel P. Friedman,
Carl Eastlund
Carl Eastlund
2015 • 248 pages

List

22 books

Compsci

meangrape
JaySupporter
Engineering a Compiler
The Little Prover
Pearls of Functional Algorithm Design
Designing for Scalability with Erlang/OTP: Implement Robust, Fault-Tolerant Systems
Metaprogramming Elixir
Programming Elixir 1.2