Hostname: page-component-7bb8b95d7b-2h6rp Total loading time: 0 Render date: 2024-10-06T13:41:16.665Z Has data issue: false hasContentIssue false
  • English
  • Français

Type-Driven Development with Idris

Review products

Type-Driven Development with Idris

Published online by Cambridge University Press:  10 June 2020

JAN DE MUIJNCK-HUGHES
JAN DE MUIJNCK-HUGHES*
Affiliation:
School of Computing Science, University of Glasgow, E-mail: jan.demuijnck-hughes@glasgow.ac.uk
Rights & Permissions [Opens in a new window]

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.'
Type
Book Review
Information
Journal of Functional Programming , Volume 30 , 2020 , e16
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
Hutton, G. (2016) Programming in Haskell, 2nd ed. Cambridge University Press.CrossRefGoogle Scholar
Stump, A. (2016) Verified Functional Programming in Agda. Association for Computing Machinery and Morgan & Claypool.CrossRefGoogle Scholar
Submit a response

Discussions

No Discussions have been published for this article.