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}
}

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.