H. Klaeren;K. Indermark
-;-
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing structural recursion in functional programs
Computer Languages