default search action

combined dblp search
author search
venue search
publication search

ask others

WGP 2009: Edinburgh, United Kingdom

> Home > Conferences and Workshops > WGP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2009wgp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2009wgp
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

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/VerbruggenVH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/VerbruggenVH09
Wendy Verbruggen, Edsko de Vries, Arthur Hughes:
Polytypic properties and proofs in Coq. 1-12

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KatajainenS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KatajainenS09
Jyrki Katajainen, Bo Simonsen:
Adaptable component frameworks: using vector from the C++ standard library as an example. 13-24
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/LinckeS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/LinckeS09
Daniel Lincke, Sibylle Schupp:
The function concept in C++: an empirical study. 25-36

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/WangO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/WangO09
Meng Wang, Bruno C. d. S. Oliveira:
What does aspect-oriented programming mean for functional programmers? 37-48
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/LiuSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/LiuSS09
Yu David Liu, Christian Skalka, Scott F. Smith:
Type-specialized staged programming with process separation. 49-60

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/LempsinkLL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/LempsinkLL09
Eelco Lempsink, Sean Leather, Andres Löh:
Type-safe diff for families of datatypes. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BackhouseBH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BackhouseBH09
Roland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk:
Meeting a fanclub: a lattice of generic shape selectors. 73-84
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/GibbonsP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/GibbonsP09
Jeremy Gibbons, Ross Paterson:
Parametric datatype-genericity. 85-93

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.