Ronny Wichers Schreur Marinus J. Plasmeijer Dynamic Construction of Generic Functions. 160-176 2004 conf/ifl/2004 IFL http://dx.doi.org/10.1007/11431664_10 db/conf/ifl/ifl2004.html#SchreurP04