Anders Bondorf. Automatic Autoprojection of Higher Order Recursive Equations. Science of Computer Programming, 17(1-3):3-34, 1991.
@article{Bondorf91,
title = {Automatic Autoprojection of Higher Order Recursive Equations},
author = {Anders Bondorf},
year = {1991},
tags = {programming languages, rule-based, program analysis, interpreter, functional programming, analysis, type system, compiler, partial evaluation, abstraction, systematic-approach},
researchr = {https://researchr.org/publication/Bondorf91},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {17},
number = {1-3},
pages = {3-34},
}