Home
>
Computers & Technology
>
Programming
>
Software Design, Testing & Engineering
>
Software Development
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski
Author: Boro Sitnikovski , Date: March 21, 2023
,Views: 26
Author: Boro Sitnikovski
Language: en
Format: pdf
Publisher: Apress, Year
Download
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski.pdf
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Categories
| Coding Theory | Localization |
| Logic | Object-Oriented Design |
| Performance Optimization | Quality Control |
| Reengineering | Robohelp |
| Software Development | Software Reuse |
| Structured Design | Testing |
| Tools | UML |
Popular ebooks
Adobe Camera Raw For Digital Photographers Only by Rob Sheppard(16739)Deep Learning with Python by François Chollet(12526)
Hello! Python by Anthony Briggs(9871)
OCA Java SE 8 Programmer I Certification Guide by Mala Gupta(9761)
The Mikado Method by Ola Ellnestam Daniel Brolund(9752)
Dependency Injection in .NET by Mark Seemann(9297)
Algorithms of the Intelligent Web by Haralambos Marmanis;Dmitry Babenko(8262)
Test-Driven iOS Development with Swift 4 by Dominik Hauser(7745)
Grails in Action by Glen Smith Peter Ledbrook(7671)
The Well-Grounded Java Developer by Benjamin J. Evans Martijn Verburg(7521)
Becoming a Dynamics 365 Finance and Supply Chain Solution Architect by Brent Dawson(6759)
Microservices with Go by Alexander Shuiskov(6526)
Practical Design Patterns for Java Developers by Miroslav Wengner(6422)
Test Automation Engineering Handbook by Manikandan Sambamurthy(6401)
Secrets of the JavaScript Ninja by John Resig Bear Bibeault(6383)
Angular Projects - Third Edition by Aristeidis Bampakos(5785)
The Art of Crafting User Stories by The Art of Crafting User Stories(5313)
NetSuite for Consultants - Second Edition by Peter Ries(5254)
Demystifying Cryptography with OpenSSL 3.0 by Alexei Khlebnikov(5075)
Kotlin in Action by Dmitry Jemerov(5023)
