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."synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want