Anne De Niel Eddi Bevers Karel De Vlaminck Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem. 90-97 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#NielBV91