[Haskell] ANNOUNCE: Haskell Server Pages v 0.4

Greetings fellow Haskelleers, I am very pleased to announce a new chapter in the Haskell Server Pages saga. After a two-year long hiatus, while we in the team have been busy with Other Stuff, we have resumed work on Project HSP, and this release marks the first milestone. = ===

Re: [Haskell] Haskell OBDD package?

Try http://www.informatik.uni-kiel.de/~mh/lehre/diplomarbeiten/christiansen.pdf from http://www.informatik.uni-kiel.de/~mh/lehre/diplomarchiv.html Johannes Waldmann wrote: > I'm looking for current Haskell implementations > of (ordered) binary decision diagrams. > > (Yes, I tried google but this

[Haskell] Haskell OBDD package?

I'm looking for current Haskell implementations of (ordered) binary decision diagrams. (Yes, I tried google but this gives links from 2004 and earlier.) Thanks - Johannes Waldmann. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mail

[Haskell] 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)

=== 1st Call For Papers WFLP 2008 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July

[Haskell] 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)

*** 1st Call For Papers 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08) Siena, Italy, July 4, 2008