Matthias Blume Umut A. Acar Wonseok Chae Extensible programming with first-class cases. 239-250 2006 conf/icfp/2006 ICFP http://doi.acm.org/10.1145/1159803.1159836 db/conf/icfp/icfp2006.html#BlumeAC06