Tags
Language
Tags
<<
December 2024
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris

Posted By: hill0
Date: 20 Mar 2023 13:09:02
Introduction to Dependent Types with Idris

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
English | 2023 | ISBN: 1484292588 | 179 Pages | PDF EPUB (True) | 2 MB

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.

Support Buy Premium In Links
Enjoy My Blog !
UPWARDS