Johan Jeuring José Pedro Magalhães Bastiaan Heeren Generic Programming for Domain Reasoners. 113-128 2009 conf/sfp/2009 Trends in Functional Programming db/conf/sfp/tfp2009.html#JeuringMH09