Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Type-driven Development with Idris

Language EnglishEnglish
Book Paperback
Book Type-driven Development with Idris Edwin Brady
Libristo code: 12404702
Publishers Manning Publications, April 2017
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to impr...
? points 124 b
50.78 €
In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Types and Programming Languages Pierce / Book Hardback
common.buy 103.78 €
Top
Inner Work Robert A. Johnson / Book Paperback
common.buy 13.87 €

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris,

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Type-driven Development with Idris
Author Edwin Brady
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 480
EAN 9781617293023
ISBN 1617293024
Libristo code 12404702
Publishers Manning Publications
Weight 812
Dimensions 235 x 191 x 25

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Data-Oriented Programming Sharvit / Book Paperback
common.buy 70.09 €
Practical Concurrent Haskell Stefania Loredana Nita / Book Paperback
common.buy 60.23 €
ISE Software Engineering: A Practitioner's Approach Roger Pressman / Book Paperback
common.buy 83.47 €
Elementary Korean Workbook Insun Lee / Book Paperback
common.buy 16.08 €
You Don't Know JS Yet Simon St Laurent / Book Paperback
common.buy 23.83 €
Top
Happier: Can you learn to be Happy? (UK Paperback) Tal Ben-Shahar / Book Paperback
common.buy 14.88 €
Top
Lord of Mysteries, Vol. 3: The Clown, Part III Cuttlefish That Loves Diving / Book Paperback
common.buy 14.57 €
Imagination and Art: Explorations in Contemporary Theory Ananta Ch Sukla / Book Hardback
common.buy 249.92 €
White Smoke Tiffany D. Jackson / Book Hardback
common.buy 15.38 €
Dreams, Visions, Imaginations Tobias Nicklas / Book Hardback
common.buy 136.97 €
Top
Framed Ink 2 Marcos Mateu-Mestre / Book Paperback
common.buy 22.02 €
Sklepy cynamonowe BRUNO SCHULZ / Book Paperback
common.buy 11.56 €
Coming soon
Touch Book Nicola Edwards / Book Board book
common.buy 11.76 €
How You Can Save the Planet Hendrikus van Hensbergen / Book Paperback
common.buy 8.64 €
Top
Art of Guweiz Zheng Wei Gu / Book Hardback
common.buy 29.36 €
A Choir of Lies Alexandra Rowland / Book Paperback
common.buy 24.03 €
Sanditon Kate Riordan / Book Paperback
common.buy 12.36 €
User Friendly Cliff Kuang / Book Hardback
common.buy 21.82 €
Niv, Premium Gift Bible, Leathersoft, Pink/Brown, Red Letter Edition, Comfort Print Zondervan / Book Book
common.buy 18.29 €
My First Mother Goose Nursery Rhymes Lisa McCue / Book Board book
common.buy 7.83 €
War Tim Rumboll / Audiobook MP3
common.buy 13.47 €
Top
Rogue: The Savage Land SEELEY TIM / Book Paperback
common.buy 16.08 €
Top
Voice of the Ocean Kelsey Impicciche / Book Paperback
common.buy 9.85 €
Building and Designing Transistor Radios R H Warring / Book Paperback
common.buy 18.60 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?