Search dblp for Publications

export results for "toc:db/conf/icfp/wgp2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfp/Bahr14,
  author       = {Patrick Bahr},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Composing and decomposing data types: a closed type families implementation
                  of data types {\`{a}} la carte},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633635},
  doi          = {10.1145/2633628.2633635},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Bahr14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DiehlS14,
  author       = {Larry Diehl and
                  Tim Sheard},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Generic constructors and eliminators from descriptions: type theory
                  as a dependently typed internal {DSL}},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633630},
  doi          = {10.1145/2633628.2633630},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/DiehlS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Lindley14,
  author       = {Sam Lindley},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Algebraic effects and effect handlers for idioms and arrows},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {47--58},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633636},
  doi          = {10.1145/2633628.2633636},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Lindley14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Oliveira14,
  author       = {Bruno C. d. S. Oliveira},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Functional programming, object-oriented programming and algebras!},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633637},
  doi          = {10.1145/2633628.2633637},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Oliveira14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/RobertsS14,
  author       = {Matthew Roberts and
                  Anthony M. Sloane},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Type inference for the spine view of data},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {25--34},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633629},
  doi          = {10.1145/2633628.2633629},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/RobertsS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SlesarenkoFR14,
  author       = {Alexander Slesarenko and
                  Alexander Filippov and
                  Alexey Romanov},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {First-class isomorphic specialization by staged evaluation},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {35--46},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633632},
  doi          = {10.1145/2633628.2633632},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/SlesarenkoFR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/VoufoZL14,
  author       = {Larisse Voufo and
                  Marcin Zalewski and
                  Andrew Lumsdaine},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Scoping rules on a platter: a framework for understanding and specifying
                  name binding},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {59--70},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633633},
  doi          = {10.1145/2633628.2633633},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/VoufoZL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/VriesL14,
  author       = {Edsko de Vries and
                  Andres L{\"{o}}h},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {True sums of products},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {83--94},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633634},
  doi          = {10.1145/2633628.2633634},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/VriesL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/WilliamsDR14,
  author       = {Thomas Williams and
                  Pierre{-}{\'{E}}variste Dagand and
                  Didier R{\'{e}}my},
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Ornaments in practice},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  pages        = {15--24},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628.2633631},
  doi          = {10.1145/2633628.2633631},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/WilliamsDR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2014wgp,
  editor       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Tiark Rompf},
  title        = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Generic programming,
                  {WGP} 2014, Gothenburg, Sweden, August 31, 2014},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2633628},
  doi          = {10.1145/2633628},
  isbn         = {978-1-4503-3042-8},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2014wgp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.