Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/wgpsigplan:"
download as .bib file
@inproceedings{DBLP:conf/icfp/FirsovU15,
author = {Denis Firsov and
Tarmo Uustalu},
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Dependently typed programming with finite sets},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
pages = {33--44},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098.2808102},
doi = {10.1145/2808098.2808102},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FirsovU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JespersenML15,
author = {Thomas Bracht Laumann Jespersen and
Philip Munksgaard and
Ken Friis Larsen},
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Session types for Rust},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
pages = {13--22},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098.2808100},
doi = {10.1145/2808098.2808100},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/JespersenML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MestanogullariH15,
author = {Alp Mestanogullari and
S{\"{o}}nke Hahn and
Julian K. Arni and
Andres L{\"{o}}h},
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Type-level web APIs with Servant: an exercise in domain-specific generic
programming},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
pages = {1--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098.2808099},
doi = {10.1145/2808098.2808099},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MestanogullariH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RodriguezS15,
author = {Ernesto Rodr{\'{\i}}guez and
Wouter Swierstra},
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Datatype generic programming in F{\#}},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
pages = {23--32},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098.2808101},
doi = {10.1145/2808098.2808101},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/RodriguezS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015wgp,
editor = {Patrick Bahr and
Sebastian Erdweg},
title = {Proceedings of the 11th {ACM} {SIGPLAN} Workshop on Generic Programming,
WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808098},
doi = {10.1145/2808098},
isbn = {978-1-4503-3810-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2015wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/icfp/BahrD13,
author = {Patrick Bahr and
Laurence E. Day},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Programming macro tree transducers},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {61--72},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502489},
doi = {10.1145/2502488.2502489},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BahrD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BezirgiannisJL13,
author = {Nikolaos Bezirgiannis and
Johan Jeuring and
Sean Leather},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Usage of generic programming on hackage: experience report},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {47--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502494},
doi = {10.1145/2502488.2502494},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BezirgiannisJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BransenM13,
author = {Jeroen Bransen and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Generic representations of tree transformations},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {73--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502490},
doi = {10.1145/2502488.2502490},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BransenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Christiansen13,
author = {David Raymond Christiansen},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Dependent type providers},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {25--34},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502495},
doi = {10.1145/2502488.2502495},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Christiansen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Dubrov13,
author = {Denis V. Dubrov},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {N queens problem: a metaprogramming stress test for the compiler},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {35--46},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502492},
doi = {10.1145/2502488.2502492},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Dubrov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Given-WilsonHJ13,
author = {Thomas Given{-}Wilson and
Freeman Huang and
Barry Jay},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Multi-polymorphic programming in bondi},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {53--60},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502493},
doi = {10.1145/2502488.2502493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Given-WilsonHJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW13,
author = {Ralf Hinze and
Nicolas Wu},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Histo- and dynamorphisms revisited},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {1--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502496},
doi = {10.1145/2502488.2502496},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HinzeW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KeuchelS13,
author = {Steven Keuchel and
Tom Schrijvers},
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Generic datatypes {\`{a}} la carte},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
pages = {13--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488.2502491},
doi = {10.1145/2502488.2502491},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KeuchelS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013wgp,
editor = {Jacques Carette and
Jeremiah Willcock},
title = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
{WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502488},
doi = {10.1145/2502488},
isbn = {978-1-4503-2389-5},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2013wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FrisbyGA12,
author = {Nicolas Frisby and
Andy Gill and
Perry Alexander},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {A pattern for almost homomorphic functions},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {1--12},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364396},
doi = {10.1145/2364394.2364396},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FrisbyGA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HaeriSH12,
author = {Seyed H. Haeri and
Sibylle Schupp and
Jonathan J. H{\"{u}}ser},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Using functional languages to facilitate {C++} metaprogramming},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {33--44},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364400},
doi = {10.1145/2364394.2364400},
timestamp = {Sat, 17 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HaeriSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJHWM12,
author = {Ralf Hinze and
Daniel W. H. James and
Thomas Harper and
Nicolas Wu and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Sorting with bialgebras and distributive laws},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {69--80},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364405},
doi = {10.1145/2364394.2364405},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HinzeJHWM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JarviHFM12,
author = {Jaakko J{\"{a}}rvi and
Magne Haveraaen and
John Freeman and
Mat Marcus},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Expressing multi-way data-flow constraint systems as a commutative
monoid makes many of their properties obvious},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {25--32},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364399},
doi = {10.1145/2364394.2364399},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/JarviHFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KeuchelJ12,
author = {Steven Keuchel and
Johan Jeuring},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Generic conversions of abstract syntax representations},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {57--68},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364403},
doi = {10.1145/2364394.2364403},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/KeuchelJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Lindley12,
author = {Sam Lindley},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Embedding {F}},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {45--56},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364402},
doi = {10.1145/2364394.2364402},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Lindley12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Magalhaes12,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {The right kind of generic programming},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
pages = {13--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394.2364397},
doi = {10.1145/2364394.2364397},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Magalhaes12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012wgp,
editor = {Andres L{\"{o}}h and
Ronald Garcia},
title = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364394},
doi = {10.1145/2364394},
isbn = {978-1-4503-1576-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2012wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BahrH11,
author = {Patrick Bahr and
Tom Hvitved},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Compositional data types},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {83--94},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036930},
doi = {10.1145/2036918.2036930},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BahrH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HamanaF11,
author = {Makoto Hamana and
Marcelo P. Fiore},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {A foundation for GADTs and inductive families: dependent polynomial
functor approach},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {59--70},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036927},
doi = {10.1145/2036918.2036927},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HamanaF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW11,
author = {Ralf Hinze and
Nicolas Wu},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Towards a categorical foundation for generic programming},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {47--58},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036926},
doi = {10.1145/2036918.2036926},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HinzeW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KoG11,
author = {Hsiang{-}Shang Ko and
Jeremy Gibbons},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Modularising inductive families},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {13--24},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036921},
doi = {10.1145/2036918.2036921},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KoG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LohM11,
author = {Andres L{\"{o}}h and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Generic programming with indexed functors},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {1--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036920},
doi = {10.1145/2036918.2036920},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LohM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesJ11,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Johan Jeuring},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Generic programming for indexed datatypes},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {37--46},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036924},
doi = {10.1145/2036918.2036924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MagalhaesJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NoortSAP11,
author = {Thomas van Noort and
Wouter Swierstra and
Peter Achten and
Rinus Plasmeijer},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Embedding polymorphic dynamic typing},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {25--36},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036923},
doi = {10.1145/2036918.2036923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NoortSAP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OConnor11,
author = {Russell O'Connor},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Video presentation of Functor : Lens : : Applicative : Biplate: Introducing
Multiplate},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2337531},
doi = {10.1145/2036918.2337531},
timestamp = {Wed, 28 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/OConnor11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VoufoZL11,
author = {Larisse Voufo and
Marcin Zalewski and
Andrew Lumsdaine},
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {ConceptClang: an implementation of {C++} concepts in Clang},
booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
pages = {71--82},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918.2036929},
doi = {10.1145/2036918.2036929},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VoufoZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011wgp,
editor = {Jaakko J{\"{a}}rvi and
Shin{-}Cheng Mu},
title = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2036918},
doi = {10.1145/2036918},
isbn = {978-1-4503-0861-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2011wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/000110,
author = {Michael D. Adams},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Scrap your zippers: a generic zipper for heterogeneous types},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {13--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863499},
doi = {10.1145/1863495.1863499},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/000110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChadwickL10,
author = {Bryan Chadwick and
Karl J. Lieberherr},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Algorithms for traversal-based generic programming},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {61--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863504},
doi = {10.1145/1863495.1863504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ChadwickL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HengleinL10,
author = {Fritz Henglein and
Ken Friis Larsen},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Generic multiset programming for language-integrated querying},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {49--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863503},
doi = {10.1145/1863495.1863503},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HengleinL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJ10,
author = {Ralf Hinze and
Daniel W. H. James},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Reason isomorphically!},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {85--96},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863507},
doi = {10.1145/1863495.1863507},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/HinzeJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/McBride10,
author = {Conor McBride},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Outrageous but meaningful coincidences: dependent type-safe syntax
and evaluation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {1--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863497},
doi = {10.1145/1863495.1863497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/McBride10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MuLM10,
author = {Shin{-}Cheng Mu and
Yu{-}Han Lyu and
Akimasa Morihata},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Constructing datatype-generic fully polynomial-time approximation
schemes using generalised thinning},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {97--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863508},
doi = {10.1145/1863495.1863508},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MuLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NoortAP10,
author = {Thomas van Noort and
Peter Achten and
Rinus Plasmeijer},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Ad-hoc polymorphism and dynamic typing in a statically typed functional
language},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {73--84},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863505},
doi = {10.1145/1863495.1863505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NoortAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SteenbergenMJ10,
author = {Martijn Van Steenbergen and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Johan Jeuring},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Generic selections of subexpressions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {37--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863501},
doi = {10.1145/1863495.1863501},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SteenbergenMJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VisserL10,
author = {Sebastiaan Visser and
Andres L{\"{o}}h},
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Generic storage in Haskell},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
pages = {25--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495.1863500},
doi = {10.1145/1863495.1863500},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VisserL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010wgp,
editor = {Bruno C. d. S. Oliveira and
Marcin Zalewski},
title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863495},
doi = {10.1145/1863495},
isbn = {978-1-4503-0251-7},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2010wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BackhouseBH09,
author = {Roland Carl Backhouse and
Richard S. Bird and
Paul F. Hoogendijk},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Meeting a fanclub: a lattice of generic shape selectors},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {73--84},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596625},
doi = {10.1145/1596614.1596625},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BackhouseBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsP09,
author = {Jeremy Gibbons and
Ross Paterson},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Parametric datatype-genericity},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {85--93},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596626},
doi = {10.1145/1596614.1596626},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/GibbonsP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KatajainenS09,
author = {Jyrki Katajainen and
Bo Simonsen},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Adaptable component frameworks: using vector from the {C++} standard
library as an example},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {13--24},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596618},
doi = {10.1145/1596614.1596618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/KatajainenS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LempsinkLL09,
author = {Eelco Lempsink and
Sean Leather and
Andres L{\"{o}}h},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Type-safe diff for families of datatypes},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {61--72},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596624},
doi = {10.1145/1596614.1596624},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/LempsinkLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LinckeS09,
author = {Daniel Lincke and
Sibylle Schupp},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {The function concept in {C++:} an empirical study},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {25--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596619},
doi = {10.1145/1596614.1596619},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/LinckeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LiuSS09,
author = {Yu David Liu and
Christian Skalka and
Scott F. Smith},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Type-specialized staged programming with process separation},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {49--60},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596622},
doi = {10.1145/1596614.1596622},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/LiuSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VerbruggenVH09,
author = {Wendy Verbruggen and
Edsko de Vries and
Arthur Hughes},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Polytypic properties and proofs in Coq},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {1--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596616},
doi = {10.1145/1596614.1596616},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/VerbruggenVH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WangO09,
author = {Meng Wang and
Bruno C. d. S. Oliveira},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {What does aspect-oriented programming mean for functional programmers?},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {37--48},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596621},
doi = {10.1145/1596614.1596621},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/WangO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009wgp,
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614},
doi = {10.1145/1596614},
isbn = {978-1-60558-510-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2009wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BernardyJZSP08,
author = {Jean{-}Philippe Bernardy and
Patrik Jansson and
Marcin Zalewski and
Sibylle Schupp and
Andreas P. Priesnitz},
editor = {Ralf Hinze and
Don Syme},
title = {A comparison of c++ concepts and haskell type classes},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {37--48},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411324},
doi = {10.1145/1411318.1411324},
timestamp = {Tue, 15 Feb 2022 13:05:32 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BernardyJZSP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NogueiraM08,
author = {Pablo Nogueira and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Ralf Hinze and
Don Syme},
title = {Bialgebra views: a way for polytypic programming to cohabit with data
abstraction},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {61--73},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411327},
doi = {10.1145/1411318.1411327},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NogueiraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NoortRHJH08,
author = {Thomas van Noort and
Alexey Rodriguez and
Stefan Holdermans and
Johan Jeuring and
Bastiaan Heeren},
editor = {Ralf Hinze and
Don Syme},
title = {A lightweight approach to datatype-generic rewriting},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {13--24},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411321},
doi = {10.1145/1411318.1411321},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NoortRHJH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OliveiraG08,
author = {Bruno C. d. S. Oliveira and
Jeremy Gibbons},
editor = {Ralf Hinze and
Don Syme},
title = {Scala for generic programmers},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {25--36},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411323},
doi = {10.1145/1411318.1411323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/OliveiraG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Stoughton08,
author = {Alley Stoughton},
editor = {Ralf Hinze and
Don Syme},
title = {A functional model-view-controller software architecture for command-oriented
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {1--12},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411320},
doi = {10.1145/1411318.1411320},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Stoughton08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VerbruggenVH08,
author = {Wendy Verbruggen and
Edsko de Vries and
Arthur Hughes},
editor = {Ralf Hinze and
Don Syme},
title = {Polytypic programming in {COQ}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {49--60},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411326},
doi = {10.1145/1411318.1411326},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/VerbruggenVH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008wgp,
editor = {Ralf Hinze and
Don Syme},
title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318},
doi = {10.1145/1411318},
isbn = {978-1-60558-060-9},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2008wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Gibbons06,
author = {Jeremy Gibbons},
editor = {Ralf Hinze},
title = {Design patterns as higher-order datatype-generic programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {1--12},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159863},
doi = {10.1145/1159861.1159863},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Gibbons06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JeuringRS06,
author = {Johan Jeuring and
Alexey Rodriguez and
Gideon Smeding},
editor = {Ralf Hinze},
title = {Generating generic functions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {23--32},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159865},
doi = {10.1145/1159861.1159865},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/JeuringRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MoorsPJ06,
author = {Adriaan Moors and
Frank Piessens and
Wouter Joosen},
editor = {Ralf Hinze},
title = {An object-oriented approach to datatype-generic programming},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {96--106},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159875},
doi = {10.1145/1159861.1159875},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MoorsPJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MunkbyPSZ06,
author = {Gustav Munkby and
Andreas P. Priesnitz and
Sibylle Schupp and
Marcin Zalewski},
editor = {Ralf Hinze},
title = {Scrap++: scrap your boilerplate in {C++}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {66--75},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159871},
doi = {10.1145/1159861.1159871},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/MunkbyPSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Nogueira06,
author = {Pablo Nogueira},
editor = {Ralf Hinze},
title = {Context-parametric polykinded types},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {45--54},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159868},
doi = {10.1145/1159861.1159868},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Nogueira06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Ross06,
author = {Kyle D. Ross},
editor = {Ralf Hinze},
title = {Towards an automatic complexity analysis for generic programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {87--95},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159874},
doi = {10.1145/1159861.1159874},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Ross06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RypacekBN06,
author = {Ondrej Rypacek and
Roland Carl Backhouse and
Henrik Nilsson},
editor = {Ralf Hinze},
title = {Type-theoretic design patterns},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {13--22},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159864},
doi = {10.1145/1159861.1159864},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/RypacekBN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SulzmannW06,
author = {Martin Sulzmann and
Meng Wang},
editor = {Ralf Hinze},
title = {Modular generic programming with extensible superclasses},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {55--65},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159869},
doi = {10.1145/1159861.1159869},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SulzmannW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WashburnW06,
author = {Geoffrey Washburn and
Stephanie Weirich},
editor = {Ralf Hinze},
title = {Good advice for type-directed programming aspect-oriented programming
and extensible generic functions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {33--44},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159867},
doi = {10.1145/1159861.1159867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/WashburnW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Watt06,
author = {Stephen M. Watt},
editor = {Ralf Hinze},
title = {A technique for generic iteration and its optimization},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
pages = {76--86},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861.1159872},
doi = {10.1145/1159861.1159872},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Watt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006wgp,
editor = {Ralf Hinze},
title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2006, Portland, Oregon, USA, September 16, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159861},
doi = {10.1145/1159861},
isbn = {1-59593-492-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/2006wgp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-17 04:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
