ICFP-WGP 2010: Baltimore, Maryland, USA

Bruno C. d. S. Oliveira, Marcin Zalewski (Eds.): 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

Conor McBride:
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. 1-12

Session 2

Michael D. Adams:
Scrap your zippers: a generic zipper for heterogeneous types. 13-24
Sebastiaan Visser, Andres Löh:
Generic storage in Haskell. 25-36
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring:
Generic selections of subexpressions. 37-48

Session 3

Fritz Henglein, Ken Friis Larsen:
Generic multiset programming for language-integrated querying. 49-60
Bryan Chadwick, Karl J. Lieberherr:
Algorithms for traversal-based generic programming. 61-72
Thomas van Noort, Peter Achten, Rinus Plasmeijer:
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. 73-84

Session 4

Ralf Hinze, Daniel W. H. James:
Reason isomorphically! 85-96
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata:
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. 97-108

Last update Wed May 22 23:54:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page