Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sauerwein, T. E."'
Publikováno v:
EPTCS 129, 2013, pp. 121-135
Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit attributes from above can also be expressed. In this paper, we explor
Externí odkaz:
http://arxiv.org/abs/1309.5135
