Wadler: Deforestation: Transforming Programs to Eliminate Trees, in Theoretical Computer (1990)

by P
Venue:Jeder Vektor y 2 R N kann daher in der Form y = B B B B @ b y 1 b y 2 . . . b y p C C C C A R N ; wobei b y i 2 R N=p ; i = 1; 2; : : : ; p ; dargestellt werden. Die N=p