No CrossRef data available.
Article contents
Type-Driven Development with Idris
Review products
Type-Driven Development with Idris
Published online by Cambridge University Press: 10 June 2020
Abstract
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0956796820000143/resource/name/firstPage-S0956796820000143a.jpg)
- Type
- Book Review
- Information
- Copyright
- Copyright © The Author(s), 2020. Published by Cambridge University Press
References
Chlipala, A. (2013) Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant. MIT Press.CrossRefGoogle Scholar
Stump, A. (2016) Verified Functional Programming in Agda. Association for Computing Machinery and Morgan & Claypool.CrossRefGoogle Scholar
Discussions
No Discussions have been published for this article.