Introduction to dependent types with Idris : encoding program proofs in types / Boro Sitnikovski.

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 p...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Sitnikovski, Boro (Author)
Format:	Electronic eBook
Language:	English
Published:	New York, NY : Apress, [2023]
Edition:	[First edition].
Subjects:	Idris (Computer program language) Functional programming (Computer science)