Type-driven Development with Idris
Discover how Idris’s dependent types enable precise program specifications, with hands‑on examples that illustrate totality, effect management, an ...
Sponsored
WHSmith
45.99 GBP
Price updated on: 13-07-2026 01:35:26
General
Brand
Manning Publications
ISBN
Manning Publications 1617293024
Characteristics
Country of publication
UNITED STATES
Dimensions
(H) 235mm, (W) 188mm, (D) 25mm
Imprint
Manning Publications
ISBN
9781617293023
Languages
English
Page count
480
Publisher
Pearson Professional Education
Status
In Print
Target audience
Professional and scholarly
Weight
824 grams
