Yout link to “Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs” doesn't seem to work.
Yout link to “Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs” doesn't seem to work.