Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
- Length: 175 pages
- Publication Date: 2023-04-03
Introducing Software Verification with Dafny Language: Proving Program Correctness
- Length: 151 pages
- Publication Date: 2022-03-15
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
- Length: 156 pages
- Publication Date: 2021-05-05