default search action
SSGIP 2010: Oxford, UK
- Jeremy Gibbons:
Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures. Lecture Notes in Computer Science 7470, Springer 2012, ISBN 978-3-642-32201-3 - Nate Foster, Kazutaka Matsuda, Janis Voigtländer:
Three Complementary Approaches to Bidirectional Programming. 1-46 - Ralf Hinze:
Generic Programming with Adjunctions. 47-129 - Oleg Kiselyov:
Typed Tagless Final Interpreters. 130-174 - Jeremy G. Siek:
The C++0x "Concepts" Effort. 175-216 - Stephanie Weirich, Chris Casinghino:
Generic Programming with Dependent Types. 217-258
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.