fp A Haskell implementation of John Backus' Functional Programming Systems[1] [1] Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
