De Muijnck-Hughes, J. (2020) Type-Driven Development with Idris. Journal of Functional Programming, 30, e16. (doi: 10.1017/S0956796820000143)[Book Review]
|
Text
217954.pdf - Accepted Version Available under License Creative Commons Attribution Non-commercial No Derivatives. 328kB |
Abstract
No abstract available.
Item Type: | Book Reviews |
---|---|
Status: | Published |
Glasgow Author(s) Enlighten ID: | De Muijnck-Hughes, Dr Jan |
Authors: | De Muijnck-Hughes, J. |
College/School: | College of Science and Engineering > School of Computing Science |
Journal Name: | Journal of Functional Programming |
Publisher: | Cambridge University Press |
ISSN: | 0956-7968 |
ISSN (Online): | 1469-7653 |
Published Online: | 10 June 2020 |
Copyright Holders: | Copyright © 2020 The Author |
First Published: | First published in Journal of Functional Programming 30: e16 |
Publisher Policy: | Reproduced in accordance with the publisher copyright policy |
University Staff: Request a correction | Enlighten Editors: Update this record