ICFP-WGP

Keyphrases

Publications

2010

Thomas van Noort, Peter Achten, Rinus Plasmeijer
Ad-hoc polymorphism and dynamic typing in a statically typed functional language. ICFP-WGP (2010)
Sebastiaan Visser, Andres Löh
Generic storage in Haskell. ICFP-WGP (2010)
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring
Generic selections of subexpressions. ICFP-WGP (2010)
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010 ICFP-WGP (2010)
Fritz Henglein, Ken Friis Larsen
Generic multiset programming for language-integrated querying. ICFP-WGP (2010)
Ralf Hinze, Daniel W. H. James
Reason isomorphically! ICFP-WGP (2010)
Michael D. Adams
Scrap your zippers: a generic zipper for heterogeneous types. ICFP-WGP (2010)
Conor McBride
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. ICFP-WGP (2010)
Bryan Chadwick, Karl J. Lieberherr
Algorithms for traversal-based generic programming. ICFP-WGP (2010)
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ICFP-WGP (2010)