[Haskell-cafe] Re: CYK-style parsing and laziness

Steffen Mazanek haskell at steffen-mazanek.de
Sat May 26 18:09:20 EDT 2007

> Note that there are very systematic and natural ways to derive dynamic
> programming algorithms in functional languages. In a sense, much of the
> work of R. Bird centers this topic. The book "Algebra of Programming"
> http://web.comlab.ox.ac.uk/oucl/research/pdt/ap/pubs.html#Bird-deMoor96:Algebra
> is one of the cornerstones.
> The systematic derivation of dynamic programming algorithms has been
> rediscovered in a more direct but less general fashion
>    http://bibiserv.techfak.uni-bielefeld.de/adp/

Thanks a lot for providing the links! Interesting stuff! And also many
thanks for the examplary implementation. This is really enlightening.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070527/795ca229/attachment-0001.htm

More information about the Haskell-Cafe mailing list