Keisuke Nakano

Unscanning by Möbius Inversion (Functional Pearl)

This pearl presents the classical Möbius inversion theorem for posets as a calculation method for inverting scan-like cumulative computations. We model a scan function as summation over principal down-sets of a lower-finite poset: local values are accumulated according to the ord...