Certified programming with dependent typ
โ Chlipala A
๐ Library
๐
2016
๐ English
โฆ LIBER โฆ
๐
Certified Programming with Dependent Types (draft 2015)
โ Scribed by Adam Chlipala
- Year
- 0
- Tongue
- English
- Leaves
- 369
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Subjects
coq, verification, dependent types, automated theorem proving, logic
๐ 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
Official Certified SolidWorks Profession
โ David Planchard
๐ Library
๐
2014
๐ SDC Publications
๐ English
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