Type-Driven Development with Idris

De Muijnck-Hughes, J. (2020) Type-Driven Development with Idris. Journal of Functional Programming, 30, e16. (doi: 10.1017/S0956796820000143)[Book Review]

[img] Text
217954.pdf - Accepted Version
Restricted to Repository staff only until 10 December 2020.
Available under License Creative Commons Attribution Non-commercial No Derivatives.



No abstract available.

Item Type:Book Reviews
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 (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