Welcome to Mobilarian Forum - Official Symbianize forum.

Join us now to get access to all our features. Once registered and logged in, you will be able to create topics, post replies to existing threads, give reputation to your fellow members, get your own private messenger, and so, so much more. It's also quick and totally free, so what are you waiting for?

Introduction to Dependent Types with Idris Encoding Program Proofs in Types

Alexhost
OP
TOP 110

TOP

Alpha and Omega
Member
Access
Joined
Jan 21, 2021
Messages
280,315
Reaction score
18,479
Points
113
Age
38
Location
OneDDL
grants
₲281,540
3 years of service
e1c013ac4a170d83e02f868b285d03a1.jpeg

Free Download Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski
English | March 18, 2023 | ISBN: 1484292588 | 175 pages | MOBI | 0.86 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.

The first part of the book serves as an introduction to the language's underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you'll learn type theory for dependent types. Following this, you'll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.
Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.
What You Will Learn Understand Lambda calculus and dependent typesGain insight into functional programmingWrite mathematical proofs with Idris
Who This Book Is For
Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
Links are Interchangeable - Single Extraction
 
K 0

KatzSec DevOps

Alpha and Omega
Philanthropist
Access
Joined
Jan 17, 2022
Messages
525,158
Reaction score
7,586
Points
83
grants
₲57,993
2 years of service
TOP salamat sa pag contribute. Next time always upload your files sa
Please, Log in or Register to view URLs content!
para siguradong di ma dedeadlink. Let's keep on sharing to keep our community running for good. This community is built for you and everyone to share freely. Let's invite more contributors para mabalik natin sigla ng Mobilarian at tuloy ang puyatan. :)
 
Top Bottom