Type-driven Development with IdrisAuthor :
Paperback
Published : Monday 8 May 2017
Description
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.
You may also like ...
by
Paperback
08 May 2017
Software Engineering
€46.79
Extended stock – Dispatch 5-7 days
Paperback
25 Aug 2024
Astrology
€33.93
by
Hardback
30 Jul 2024
Childrens / Teenage fiction and true stories
€5.84
by
Hardback
14 Mar 2024
Childrens / Teenage fiction: General, modern and contemporary fiction
€17.54
Extended stock – Dispatch 5-7 days
Reviews