Can programming be liberated from the von Neumann style?
dl.acm.org