SSGIP

2010201220102012

Keyphrases

Publications

volume 7470, 2012

Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures SSGIP 7470 (2012)

2010

Jeremy G. Siek
The C++0x "Concepts" Effort. SSGIP (2010)
Nate Foster, Kazutaka Matsuda, Janis Voigtländer
Three Complementary Approaches to Bidirectional Programming. SSGIP (2010)
Oleg Kiselyov
Typed Tagless Final Interpreters. SSGIP (2010)
Ralf Hinze
Generic Programming with Adjunctions. SSGIP (2010)
Stephanie Weirich, Chris Casinghino
Generic Programming with Dependent Types. SSGIP (2010)