Type-driven development with Idris cover image
Available
Type-driven development with Idris
(2017)
By: Brady, Edwin

Nonfiction

Book

Call Numbers:
005.133/IDRIS/BRADY,E

Availability

Locations Call Number Status
Adult Nonfiction 005.133/IDRIS/BRADY,E Available

Details

PUBLISHED
Shelter Island, NY : Manning Publications Co., [2017]
© 2017
DESCRIPTION

xxiv, 453 pages : illustrations ; 24 cm

ISBN/ISSN
9781617293023, 1617293024 :, 1617293024, 9781617293023
LANGUAGE
English
NOTES

Includes index

CONTENTS
Introduction -- Core Idris -- Idris and the real world

Related Searches

SUBJECTS

Idris (Computer program language)

Functional programming (Computer science)

LOCAL SUBJECTS

Added--201705 anf