Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/icfp/wgp2009.bht:"
@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} }
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.