![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
WGP 2009: Edinburgh, United Kingdom
- Patrik Jansson, Sibylle Schupp:
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009. ACM 2009, ISBN 978-1-60558-510-9
Session 1
- Wendy Verbruggen, Edsko de Vries, Arthur Hughes:
Polytypic properties and proofs in Coq. 1-12
Session 2
- Jyrki Katajainen, Bo Simonsen:
Adaptable component frameworks: using vector from the C++ standard library as an example. 13-24 - Daniel Lincke, Sibylle Schupp:
The function concept in C++: an empirical study. 25-36
Session 3
- Meng Wang
, Bruno C. d. S. Oliveira:
What does aspect-oriented programming mean for functional programmers? 37-48 - Yu David Liu, Christian Skalka, Scott F. Smith:
Type-specialized staged programming with process separation. 49-60
Session 4
- Eelco Lempsink, Sean Leather
, Andres Löh
:
Type-safe diff for families of datatypes. 61-72 - Roland Carl Backhouse
, Richard S. Bird, Paul F. Hoogendijk:
Meeting a fanclub: a lattice of generic shape selectors. 73-84 - Jeremy Gibbons
, Ross Paterson:
Parametric datatype-genericity. 85-93
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.