The words contained in this file might help you see if this file matches what you are looking for:

...How to calculate with nondeterministic functions richard bird and florian rabe computer science oxford university resp erlangen nurnb erg mpc background functional programs meertens formalism squiggol derive from specications use equational reasoning correct optimize along the way example h foldrf exs he xs try solve for f get more ecient algorithm s textbooks on programming introduction using haskell thinking functionally history my not algorithms or formal systems logics type theories foundations dsls etc design analysis implementation of applications all stem disciplines this work encountered problem elementary examples built bottom up solution non deterministic i got involved in working out details e contribution is arguably less interesting part...