Sale!

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

$25.00

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski Digital Instant Download

Author(s): Boro Sitnikovski
ISBN(s): 9781484292594, 1484292596
Edition: 1
File Details: EPUB, 671 KB
Year: 2023
Language: English
SKU: EB-48230448 Category: Tag:

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types – Ebook Instant Download/Delivery ISBN(s): 9781484292594,1484292596

You may also like…

Sale!
Quick View

Uncategorized

eTextbook 978-0134285436 Java Foundations: Introduction to Program Design and Data Structures (4th Edition)

$24.50
Sale!
Quick View

Uncategorized

From Perception to Communication: A Theory of Types for Action and Meaning Robin Cooper

$25.00
Sale!
Quick View

Fiction

After Ancient Biography: Modern Types and Classical Archetypes 1st Edition

$25.00
Sale!
Placeholder
Quick View

Medicine - Medicine & Nursing Test Prep

Hématologie : réussir ses ECNi, le cours officiel + entraînements types corrigés (Les référentiels des collèges) 3rd Edition Norbert Ifrah

$25.00
Sale!
Quick View

Computers - Programming

C How to Program: With Case Studies in Applications and Systems Programming Global Edition

$25.00
Sale!
Placeholder
Quick View

Uncategorized

Les 6 types de génie professionnel Patrick Lencioni & Patrick Lencioni

$25.00
Sale!
Quick View

Mathematics

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 1st Edition Paolo Mancosu

$25.00
Sale!
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

$25.00
Sale!
Quick View

Uncategorized

Program Evaluation: An Introduction to an Evidence-Based Approach 6th Edition

$24.50