Alberto Pettorossi. "Deriving programs using higher-order generalization." Banach Center Publications 21.1 (1988): 359-368. <http://eudml.org/doc/267951>.
@article{AlbertoPettorossi1988, author = {Alberto Pettorossi}, journal = {Banach Center Publications}, keywords = {transformation; recursive equations programs; functional programs; generalization}, language = {eng}, number = {1}, pages = {359-368}, title = {Deriving programs using higher-order generalization}, url = {http://eudml.org/doc/267951}, volume = {21}, year = {1988}, }
TY - JOUR AU - Alberto Pettorossi TI - Deriving programs using higher-order generalization JO - Banach Center Publications PY - 1988 VL - 21 IS - 1 SP - 359 EP - 368 LA - eng KW - transformation; recursive equations programs; functional programs; generalization UR - http://eudml.org/doc/267951 ER -
