KEY FEATURES - Written by the creator of Idris - Improve performance and accuracy of programs - Teaches Idris, a new type-driven development language - Hands-on code examples - Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts.
Read More
KEY FEATURES - Written by the creator of Idris - Improve performance and accuracy of programs - Teaches Idris, a new type-driven development language - Hands-on code examples - Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts.
Read Less
Add this copy of Type-Driven Development With Idris to cart. $16.37, fair condition, Sold by Goodwill Books rated 5.0 out of 5 stars, ships from Hillsboro, OR, UNITED STATES, published 2017 by Manning Publications.
Add this copy of Type-Driven Development With Idris to cart. $17.36, very good condition, Sold by ThriftBooks-Reno rated 4.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2017 by Manning Publications.
Add this copy of Type-Driven Development With Idris to cart. $17.37, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2017 by Manning Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Type-Driven Development With Idris to cart. $21.80, good condition, Sold by Greener Books rated 5.0 out of 5 stars, ships from London, UNITED KINGDOM, published 2017 by Manning Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
Add this copy of Type-Driven Development With Idris to cart. $26.99, very good condition, Sold by Half Price Books Inc rated 4.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2017 by Manning.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Add this copy of Type-Driven Development With Idris to cart. $48.07, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2017 by Manning Publications.
Add this copy of Type-Driven Development With Idris to cart. $49.05, new condition, Sold by Max Booker rated 4.0 out of 5 stars, ships from Buffalo Grove, IL, UNITED STATES, published 2017 by Manning Publications.
Add this copy of Type-Driven Development With Idris to cart. $50.43, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 2017 by Pearson Education.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
