Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/ssgip/2010,
  editor       = {Jeremy Gibbons},
  title        = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32202-0},
  doi          = {10.1007/978-3-642-32202-0},
  isbn         = {978-3-642-32201-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssgip/FosterMV10,
  author       = {Nate Foster and
                  Kazutaka Matsuda and
                  Janis Voigtl{\"{a}}nder},
  editor       = {Jeremy Gibbons},
  title        = {Three Complementary Approaches to Bidirectional Programming},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {1--46},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_1},
  doi          = {10.1007/978-3-642-32202-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/FosterMV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssgip/Hinze10,
  author       = {Ralf Hinze},
  editor       = {Jeremy Gibbons},
  title        = {Generic Programming with Adjunctions},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {47--129},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_2},
  doi          = {10.1007/978-3-642-32202-0\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/Hinze10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssgip/Kiselyov10,
  author       = {Oleg Kiselyov},
  editor       = {Jeremy Gibbons},
  title        = {Typed Tagless Final Interpreters},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {130--174},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_3},
  doi          = {10.1007/978-3-642-32202-0\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/Kiselyov10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssgip/Siek10,
  author       = {Jeremy G. Siek},
  editor       = {Jeremy Gibbons},
  title        = {The C++0x "Concepts" Effort},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {175--216},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_4},
  doi          = {10.1007/978-3-642-32202-0\_4},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/Siek10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssgip/WeirichC10,
  author       = {Stephanie Weirich and
                  Chris Casinghino},
  editor       = {Jeremy Gibbons},
  title        = {Generic Programming with Dependent Types},
  booktitle    = {Generic and Indexed Programming - International Spring School, {SSGIP}
                  2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7470},
  pages        = {217--258},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-32202-0\_5},
  doi          = {10.1007/978-3-642-32202-0\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssgip/WeirichC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}