purely functional lazy non-deterministic programming
sebf at informatik.uni-kiel.de
Mon Jun 8 12:01:33 EDT 2009
Dear Haskell and Curry programmers,
there is now a Haskell library that supports lazy functional-logic
programming in Haskell. It is available from
and can be obtained from Hackage using cabal-install. The project page
links to tutorials that explain how to use the library and to an
ICFP'09 paper (joint work with Oleg Kiselyov and Chung-chieh Shan)
that explains the implemented ideas in depth.
Underestimating the novelty of the future is a time-honored tradition.
More information about the Libraries