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
Deposit and Record Details
Deposit and Record Details