Certified Programming with Dependent Typ
โ Adam Chlipala
๐ Library
๐
0
๐ English
โฆ LIBER โฆ
๐
Certified programming with dependent types
โ Scribed by Chlipala A
- Year
- 2016
- Tongue
- English
- Leaves
- 369
- Edition
- web draft
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Introduction to Dependent Types with Idr
โ Boro Sitnikovski
๐ Library
๐
2023
๐ Apress
๐ English
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 firs
Introduction to Dependent Types with Idr
โ Boro Sitnikovski
๐ Library
๐ Apress
๐ English
<p><span>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.</s
Programming with Types
โ Vlad Riscutia
๐ Library
๐
2019
๐ Manning Publications
๐ English
Programming with Types teaches you to design safe, resilient, correct software that's easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly useful techniques for working developers, this clearly written tutorial introduces y
Thinking with types: type-level programm
โ Maguire S
๐ Library
๐
2018
๐ leanpub.com
๐ English
Gentle Introduction to Dependent Types w
โ Boro Sitnikovski
๐ Library
๐
2018
๐ CreateSpace Independent Publishing Platform
๐ English
<span>Dependent types are a powerful concept that allows us to write proof-carrying code. Idris is a programming language that supports dependent types. We will learn about the mathematical foundations, and then write correct software and mathematically prove properties about it.This book aims to be