purely functional lazy non-deterministic programming

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Mon, 08 Jun 2009 18:01:33 +0200

Dear Haskell and Curry programmers,

there is now a Haskell library that supports lazy functional-logic
programming in Haskell. It is available from

     http://sebfisch.github.com/explicit-sharing

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.

Have fun!
Sebastian

-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mon Jun 08 2009 - 22:22:28 CEST

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:07 CEST