default search action

combined dblp search
author search
venue search
publication search

ask others

WGP 2010: Baltimore, Maryland, USA

> 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/2010wgp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2010wgp
Bruno C. d. S. Oliveira, Marcin Zalewski:
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010. ACM 2010, ISBN 978-1-4503-0251-7

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/McBride10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/McBride10
Conor McBride:
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. 1-12

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/000110
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/000110
Michael D. Adams:
Scrap your zippers: a generic zipper for heterogeneous types. 13-24
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/VisserL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/VisserL10
Sebastiaan Visser, Andres Löh:
Generic storage in Haskell. 25-36
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SteenbergenMJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SteenbergenMJ10
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring:
Generic selections of subexpressions. 37-48

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HengleinL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HengleinL10
Fritz Henglein, Ken Friis Larsen:
Generic multiset programming for language-integrated querying. 49-60
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ChadwickL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ChadwickL10
Bryan Chadwick, Karl J. Lieberherr:
Algorithms for traversal-based generic programming. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NoortAP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NoortAP10
Thomas van Noort, Peter Achten, Rinus Plasmeijer:
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. 73-84

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HinzeJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HinzeJ10
Ralf Hinze, Daniel W. H. James:
Reason isomorphically! 85-96
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MuLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MuLM10
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. 97-108

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.