What do you think?
Rate this book
Generic and Indexed Programming
Three Complementary Approaches to Bidirectional Programming.-Generic Programming with Adjunctions.-Typed Tagless Final Interpreters.-The C++0x "Concepts" Effort.-Generic Programming with Dependent Types. Generic Programming with Adjunctions.-Typed Tagless Final Interpreters.-The C++0x "Concepts" Effort.-Generic Programming with Dependent Types.
268 pages, Paperback
Published July 13, 2012
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.