Sign in
ICFP-WGP
2006
2007
2009
2010
2006
2010
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)
2008
Pablo Nogueira
,
Juan José Moreno-Navarro
Bialgebra views: a way for polytypic programming to cohabit with data abstraction.
ICFP-WGP
(2008)
Jean-Philippe Bernardy
,
Patrik Jansson
,
Marcin Zalewski
,
Sibylle Schupp
,
Andreas P. Priesnitz
A comparison of c++ concepts and haskell type classes.
ICFP-WGP
(2008)
Wendy Verbruggen
,
Edsko de Vries
,
Arthur Hughes
Polytypic programming in COQ.
ICFP-WGP
(2008)
Bruno C. d. S. Oliveira
,
Jeremy Gibbons
Scala for generic programmers.
ICFP-WGP
(2008)
Alley Stoughton
A functional model-view-controller software architecture for command-oriented programs.
ICFP-WGP
(2008)
Thomas van Noort
,
Alexey Rodriguez
,
Stefan Holdermans
,
Johan Jeuring
,
Bastiaan Heeren
A lightweight approach to datatype-generic rewriting.
ICFP-WGP
(2008)
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008
ICFP-WGP
(2008)
2006
Johan Jeuring
,
Alexey Rodriguez
,
Gideon Smeding
Generating generic functions.
ICFP-WGP
(2006)
Geoffrey Washburn
,
Stephanie Weirich
Good advice for type-directed programming aspect-oriented programming and extensible generic functions.
ICFP-WGP
(2006)
Kyle D. Ross
Towards an automatic complexity analysis for generic programs.
ICFP-WGP
(2006)
Ondrej Rypacek
,
Roland Carl Backhouse
,
Henrik Nilsson
Type-theoretic design patterns.
ICFP-WGP
(2006)
Pablo Nogueira
Context-parametric polykinded types.
ICFP-WGP
(2006)
Gustav Munkby
,
Andreas P. Priesnitz
,
Sibylle Schupp
,
Marcin Zalewski
Scrap++: scrap your boilerplate in C++.
ICFP-WGP
(2006)
Adriaan Moors
,
Frank Piessens
,
Wouter Joosen
An object-oriented approach to datatype-generic programming.
ICFP-WGP
(2006)
Jeremy Gibbons
Design patterns as higher-order datatype-generic programs.
ICFP-WGP
(2006)
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006
ICFP-WGP
(2006)
Stephen M. Watt
A technique for generic iteration and its optimization.
ICFP-WGP
(2006)
Martin Sulzmann
,
Meng Wang
Modular generic programming with extensible superclasses.
ICFP-WGP
(2006)