[Haskell] 2nd CFP: JSC Special Issue on Automated Verification and Specification of Web Systems

demis at dimi.uniud.it demis at dimi.uniud.it
Thu Oct 22 11:18:32 EDT 2009

Previous message: [Haskell] ANNOUNCE: qtHaskell-1.1.3
Next message: [Haskell] ANN: quickcheck-poly - Automating QuickCheck for polymorphic/overloaded properties in a small world of types
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Skipped content of type multipart/alternative

Previous message: [Haskell] ANNOUNCE: qtHaskell-1.1.3
Next message: [Haskell] ANN: quickcheck-poly - Automating QuickCheck for polymorphic/overloaded properties in a small world of types
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell mailing list