Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Name: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Brand: Apress

£25.29

Pages: 175, Edition: First Edition, Paperback, Apress

Pages: 175, Edition: First Edition, Paperback, Apress

Price now:

Amazon

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Amazon

£25.29

£29.99

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Amazon

£45.31

CHAOS THEORY AND NONLINEAR DYNAMICS: A Simple Introduction to Sensitive Dependence and Attractors

Amazon

£21.95

Types of Christian Mission: An Introduction

Amazon

£26.45

£30.00

Mastering Idris 2: Advanced Techniques in Dependently Typed Programming

Amazon

£29.59